Observability concepts in abstract data type specification (1976)

by V Girratana, F Gimona, U Montanari
Venue:In Proc. of Mathematical Foundations of Computer Science (MFCS