Denotational Semantics, A Methodology for Software Development (1986)

by David A Schmidt