Donald Sannella Andrzej Tarlecki On Observational Equivalence and Algebraic Specification. 308-322 1985 conf/tapsoft/1985-1 TAPSOFT, Vol.1 db/conf/tapsoft/tapsoft85-1.html#SannellaT85 http://dx.doi.org/10.1007/3-540-15198-2_20