Donald Sannella Andrzej Tarlecki On Observational Equivalence and Algebraic Specification. 150-178 1987 34 J. Comput. Syst. Sci. 2/3 db/journals/jcss/jcss34.html#SannellaT87