Proc. Symp. on Computers and Automata vol. 21 (1971)
(1971)
Scott, Dana and Strachey, Christopher (1966)
Scott, Dana and Strachey, Christopher "Toward a mathematical semantics for computer languages"