Toward a mathematical semantics for computer languages
Scott, Dana.
Strachey, Christopher.
Oxford Oxford University Computing Laboratory, Programming Research Group
1971
'This paper is also to appear in "Proceedings of the Symposium on Computers and Automata", Microwave Research Institute Symposia series vol.21...' - title page verso
Programming languages (Electronic computers)
Electronic digital computers