References

 [BHK89]

J. A. Bergstra, J. Heering, and P. Klint. Algebraic Specification. ACM Press and Addison-Wesley, 1989.

 [CoF]

CoFI. The Common Framework Initiative for algebraic specification and development, electronic archives. Notes and Documents accessible by WWW and FTP.

 [CoF98]

CoFI Language Design Task Group. CASL - The CoFI Algebraic Specification Language - Summary, version 1.0. Documents/CASL/Summary-v1.0, in [CoF], October 1998.

 [CoF99]

CoFI Language Design Task Group. CASL - The CoFI Algebraic Specification Language - Summary: Release Notes. Documents/CASL/Summary-Changes, in [CoF], March 1999.

 [GHG⁺93]

John V. Guttag, James J. Horning, S. J. Garland, K. D. Jones, A. Modet, and J. M. Wing. Larch: Languages and Tools for Formal Specification. Springer-Verlag, New York, N.Y., 1993.

 [GM93]

M. J. C. Gordon and Thomas F. Melham. Introduction to HOL: A theorem proving environment for higher order logic. Cambridge University Press, 1993.

 [Mai97]

T. S. E. Maibaum. Conservative extensions, interpretations between theories and all that! In M. Bidoit and M. Dauchet, editors, TAPSOFT 97, volume 1214 of Lecture Notes in Computer Science, pages 40-66. 1997.

 [MR99]

Till Mossakowski and Markus Roggenbach. The datatypes REAL and COMPLEX in CASL. Note M-7, (to appear) in [CoF], 1999.

 [RM99]

Markus Roggenbach and Till Mossakowski. Basic datatypes in CASL. Note M-6, in [CoF], March 1999.

 [Sri97]

Y. V. Srinivas. Refinement of parameterized algebraic specifications. In IFIP TC2 Working Conference on Algorithmic Languages and Calculi. Chapman & Hall, 1997.

 [vDHK96]

Arie van Deursen, Jan Heering, and Paul Klint, editors. Language Prototyping: An Algebraic Specification Approach, volume 5 of AMAST Series in Computing. World Scientific, 1996.

 [Vel92]

P. A. S. Veloso. Yet another cautionary note on conservative extensions: A simple case with a computing flavour. BEATCS: Bulletin of the European Association for Theoretical Computer Science, 46:186-192, 1992.