Appel, Andrew W Modern compiler implementation in ml Appel, Andrew W - Cambridge University Press 1998