Natural semantics, in "Proceedings of the Symposium on Theoretical Aspects of Computer Software (1987)

by G Kahn
Venue:of Lecture Notes in Computer Science