Mayoh, B. H. Attribute Grammars and Mathematical Semantics. DPB 1978, 7.