Observability concepts in abstract data type specification (1976)

by V GIMONA GIARRATANA, F, U MONTANARI
Venue:In 5th Symposium on Mathematical Foundations of Computer Science, A. Mazurkievicz, Ed. Lecture Notes in Computer Science