Comment by kevinclancy

Modern Compiler Implementation in ML by Andrew Appel