Full abstraction for a simple programming language (1979)

by M Hennessy, G Plotkin
Venue:in `Proceedings of Mathematical Foundations of Computer Science', Lecture Notes in Computer Science 74