Modern compiler implementation in Java : basic techniques - Appel, Andrew W. (Cambridge University Press, 1997)