Especificação Algébrica - Referências

• H. Ehrig and B. Mahr, Fundamentals of Algebraic Specification 1 - Equations and Initial Semantics, EATCS Monographs on Theoretical Computer Science Vol. 6, Springer-Verlag, Berlin 1985.
• H. Ehrig and B. Mahr, Fundamentals of Algebraic Specification 2 - Module Specifications and Constraints, EATCS Monographs on Theoretical Computer Science Vol. 21, Springer-Verlag, Berlin 1990.
• J. A. Bergstra, J. Heering and P. Klint, Algebraic Specification, ACM Press, Frontier Series, New York 1989, ISBN 0-201-41635-2.