Toward a I'lathematical Semantics for Computer Languages (1971)

by D Scott
Venue:Symposium on Computers Automata I'licrowave Research Institute Proceedings, 2_[,1 Polytechnical institute of