Toward a mathematical semantics for computer languages - Scott, Dana S. 1932-; Strachey, Christopher (Oxford Univ. Computing Laboratory, 1971)