V. Giarratana F. Gimona Ugo Montanari Observability Concepts in Abstract Data Type Specifications. 576-587 1976 conf/mfcs/1976 MFCS db/conf/mfcs/mfcs76.html#GiarratanaGM76 http://dx.doi.org/10.1007/3-540-07854-1_231