Alan Turings Systems Of Logic The Princeton Thesis
Andrew W. Appel
Compiling with Continuations
Modern Compiler Implementation in Java
