References

 [Ale79]

Christopher Alexander. A Timeless Way of Building. Oxford University Press, 1979.

 [BCV96]

Michel Bidoit, Christine Choppy, and Frédéric Voisin. Interchange format for inter-operability of tools and translation. In Haveraaen et al. [HOD96], pages 102-124.

 [BKL⁺91]

Michel Bidoit, Hans-Jörg Kreowski, Pierre Lescanne, Fernando Orejas, and Don Sannella, editors. Algebraic System Specification and Software Development, volume 501 of Lecture Notes in Computer Science. Springer-Verlag, 1991.

 [CoF96]

CoFI. CASL: The CoFI algebraic specification language, tentative design: Language summary. Notes Series NS-96-15, BRICS, Department of Computer Science, University of Aarhus, 1996.

 [GM89]

Joseph A. Goguen and José Meseguer. Order-sorted algebra I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations. Technical Report SRI-CSL-89-10, Computer Science Lab., SRI International, 1989.

 [HOD96]

Magne Haveraaen, Olaf Owe, and Ole-Johan Dahl, editors. Recent Trends in Data Type Specification, volume 1130 of Lecture Notes in Computer Science. Springer-Verlag, 1996.

 [KB96]

Bernd Krieg-Brückner. Seven years of COMPASS. In Haveraaen et al. [HOD96], pages 1-13.

 [Mos96]

Peter D. Mosses. CoFI: The common framework initiative for algebraic specification. Bulletin of the EATCS, June 1996.

 [Mos97]

Peter D. Mosses, editor. CoFI: Common Framework Initiative for Algebraic Specification, URL: http://www.brics.dk/Projects/CoFI/, 1997.

 [SST92]

Don Sannella, Stefan Sokolowski, and Andrzej Tarlecki. Toward formal development of programs from algebraic specifications: Parameterisation revisited. Acta Informatica, 29:689-736, 1992.