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