References

References

 [1]

Christopher Alexander, Sara Ishikawa, and Murray Silverstein. A Pattern Language. Oxford University Press, 1977.

 [2]

CoFI. The Common Framework Initiative for algebraic specification and development, electronic archives. Notes and Documents accessible from http://www.brics.dk/Projects/CoFI/.

 [3]

Till Mossakowski and Markus Roggenbach. The datatypes REAL and COMPLEX in CASL. Note M-7, in [2], April 1999.

 [4]

Markus Roggenbach and Till Mossakowski. Basic datatypes in CASL. Note L-12, version 0.4.1, in [2], May 2000.

References