Modern complier implementation in Java - Appel, rew (Vidhyanagar Cambridge, 2007)