A Practical Introduction to Denotational Semantics. Cambridge Computer Science Texts 23 (1986)

by L Allison