The linked book by Pierce is pretty fantastic as well. http://www.cis.upenn.edu/~bcpierce/sf/