AML: Attribute Grammars in ML. - S. G. Efremidis; Khalid Azim Mughal; John H. Reppy; L. Søraas (Nord. J. Comput., 1997)