On Observational Equivalence and Algebraic Specification

Donald Sannella, Andrzej Tarlecki. On Observational Equivalence and Algebraic Specification. J. Comput. Syst. Sci., 34(2/3):150-178, 1987.

Possibly Related Publications

The following publications are possibly variants of this publication: