Denotatioal semantics: the ScottStratchey approach to programming language theory (1977)

by J E Stoy