Prev Up Next
Go backward to 5 Syntax Extensions
Go up to Top
Go forward to Footnotes


J. A. Bergstra, J. Heering, and P. Klint. Algebraic Specification. ACM Press and Addison-Wesley, 1989.
CoFI. The Common Framework Initiative for algebraic specification and development, electronic archives. Notes and Documents accessible by WWW and FTP.
CoFI Language Design Task Group. CASL - The CoFI Algebraic Specification Language - Summary, version 1.0. Documents/CASL/Summary-v1.0, in [CoF], October 1998.
CoFI Language Design Task Group. CASL - The CoFI Algebraic Specification Language - Summary: Release Notes. Documents/CASL/Summary-Changes, in [CoF], March 1999.
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.
M. J. C. Gordon and Thomas F. Melham. Introduction to HOL: A theorem proving environment for higher order logic. Cambridge University Press, 1993.
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.
Till Mossakowski and Markus Roggenbach. The datatypes REAL and COMPLEX in CASL. Note M-7, (to appear) in [CoF], 1999.
Markus Roggenbach and Till Mossakowski. Basic datatypes in CASL. Note M-6, in [CoF], March 1999.
Y. V. Srinivas. Refinement of parameterized algebraic specifications. In IFIP TC2 Working Conference on Algorithmic Languages and Calculi. Chapman & Hall, 1997.
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.
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.

CoFI Note: L-11 -- Version: 0.1 -- 11 March 1999.
Comments to

Prev Up Next