Observability concepts in abstract data type specifications (1976)

by V Giarratana, F Gimona, U Montanari
Venue:Proceedings of the 5th Symposium on Mathematical Foundations of Computer Science, Gdańsk, Lecture Notes in Computer Science