The following publications are possibly variants of this publication:
- Introduction to Algebraic Specification. Part 1: Formal Methods for Software DevelopmentHartmut Ehrig, Bernd Mahr, Ingo Claßen, Fernando Orejas. cj, 35(5):460-467, 1992.
- Methodology for the Specification of Software Systems: From Formal Requirements to Algebraic Design SpecificationsHartmut Ehrig, Werner Fey. gi 1981: 255-269
- Overview of algebraic specification languages, enviroments and tools, and algebraic specifications of software systems(Part 3)Hartmut Ehrig, Ingo Claßen. eatcs, 41:145-153, 1990.