The following publications are possibly variants of this publication:
- Overview of Algebraic Specification Languages Environments and Tools, and Algebraic Specifications of Software SystemsHartmut Ehrig, Ingo Claßen. eatcs, 39:103-111, 1989.
- Overview of Algebraic Specification Languages Environments and Tools, and Algebraic Specifications of Software SystemsHartmut Ehrig, Ingo Claßen. eatcs, 40:172-181, 1990.
- Methodology for the Specification of Software Systems: From Formal Requirements to Algebraic Design SpecificationsHartmut Ehrig, Werner Fey. gi 1981: 255-269
- 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.
- ACT - Algebraic Specification Technique for the Correct Design of Reliable Software SystemsHartmut Ehrig. adt 1982: