B. H. Mayoh, “Attribute Grammars and Mathematical Semantics”, DPB, vol. 7, no. 90, Aug. 1978.