Friedman, Felleisen "Little Schemer" Sussman, Abelson, Sussman "Structure and Interpretation of Computer Programs" Chris Hankin "An Introduction to Lambda Calculi for Computer Scientists" Raymond Smullyan "To Mock A Mockingbird" W. Kluge "Abstract Computing Machines: A Lambda Calculus Perspective" Friedman, Wand, Haynes "Essentials of Programming Language"