1. R. Burstall, J.A. Goguen: Putting theories together to make specifications, Proc. 5th Internat. Joint Conf. on Artificial Intelligence, Cambridge Mass., 1977, pp. 1045–1058
2. H.D. Ehrich: On the theory of specification, implementation and parametrization of abstract data types, J. Assoc.Comput.Mach. 29 (1982) 206–227
3. H. Ehrig, M. Baldamus, F. Cornelius, F. Orejas: Theory of Algebraic Module Specifications including Behavioural Semantics, Constraints and Aspects of Generalized Morphisms (invited paper), Proc. AMAST91, Iowa City, May 1991
4. H. Ehrig, A. Habel, H.-J. Kreowski, F. Parisi-Presicce: Parallelism and Concurrency in High-Level-Replacement Systems, to appear in Math. Structures in Computer Science 1991
5. H. Ehrig: Introduction to the algebraic theory of graph grammars (A Survey) in: Graph Grammars and Their Application to Computer Science and Biology, Lecture Notes in Computer Science 73. Berlin: Springer 1979, pp. 1–69