Modern Compiler Implementation in ML (1998)

by A W Appel