Selected papers that cite this one
- Davide Ancona and Elena Zucca. A theory of mixin modules: basic and derived operators. Mathematical Structures in Computer Science, 8(4):401-446, August 1998.
- J. A. Bergstra and Jan Heering. Homomorphism preserving algebraic specifications require hidden sorts. Information and Computation, 119(1):119-123, 15 May 1995.
- José Luiz Fiadeiro and Tom Maibaum. Categorical semantics of parallel program design. Science of Computer Programming, 28(2-3):111-138, April 1997.
- Rosa M. Jiménez, Fernando Orejas, and Hartmut Ehrig. Compositionality and compatibility of parameterization and parameter passing in specification languages. Mathematical Structures in Computer Science, 5(2):283-314, June 1995.
- Paulo A. S. Veloso and Thomas S. E. Maibaum. On the Modularization Theorem for logical specifications. Information Processing Letters, 53(5):287-293, 10 March 1995.