Toward a mathematical semantics for computer languages (1971)

by Dana Stewart Scott, Christopher Strachey
Venue:In Proceedings Symposium on Computers and Automata, volume 21 of Microwave Institute Symposia Series. Polytechnic Institute of