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