Denotational Semantics: A Methodology for Language Development (1986)

by D A Schmidt