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

by J Stoy