Modern compiler implementation in ML - Appel, Andrew W. (Verfasser) (Cambridge University Press, 1998)