1. Parallelism and Concurrency in High-Level Replacement Systems;Ehrig,1991
2. “Fundamentals of Algebraic Specification 2: Module Specifications and Constraints”;Ehrig,1990
3. A Generic Component Framework for System Modeling;Ehrig;Proc. FASE 2002, Springer LNCS,2002
4. Integrating Semantics for Object-Oriented System Models;Große-Rhode;Proc. ICALP 2001, Springer LNCS,2001
5. Tight and Loose Semantics for Transformation Systems;Orejas;Recent Trends in Algebraic Development Techniques, Springer LNCS,2001