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

by Joseph E Stoy