Denotational Semantics: A Methodology for Language Development (1986)

by David A Schmidt