Modern Compiler Implementation in ML (1997)

by A W Appel