Modern Compiler Implementation In Java - Andrew W. Appel; Jens Palsberg (New York Cambridge, 2009)