Transform.AndrewAppel, Modern Compiler Implementation in {ML, Java, C}, Addison-Wesley Website * http://www.cs.princeton.edu/~appel/modern/