Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory (1977)

by J E Stoy