Modern Compiler Implementation in ML, Andrew W. Appel