Donald Sannella, Andrzej Tarlecki. On Observational Equivalence and Algebraic Specification. J. Comput. Syst. Sci., 34(2/3):150-178, 1987.
@article{SannellaT87:0, title = {On Observational Equivalence and Algebraic Specification}, author = {Donald Sannella and Andrzej Tarlecki}, year = {1987}, tags = {algebraic specification, algebra}, researchr = {https://researchr.org/publication/SannellaT87%3A0}, cites = {0}, citedby = {0}, journal = {J. Comput. Syst. Sci.}, volume = {34}, number = {2/3}, pages = {150-178}, }