Schmidt: Denotational Semantics: a Methodology for Language Development (1986)