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

by G Kahn
Venue:Lecture Notes in Computer Science