Mayoh, B. H. “Attribute Grammars and Mathematical Semantics”. DAIMI Report Series, vol. 7, no. 90, Aug. 1978, doi:10.7146/dpb.v7i90.6505.