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

by J E Stoy, ”Denotational