A Practical Introduction to Denotational Semantics (1986)

by L Allison