References

 [Ale79]

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

 [CoF97]

CoFI. CoFI - The Common Framework Initiative for Algebraic Specification and Development - Rationale. CoFI Document: Rationale. WWW, FTP, May 1997.

 [LD97a]

CoFI Task Group on Language Design. Response to the Referee Report on CASL. CoFI Document: CASL/RefereeResponse. WWW, FTP, August 1997.

 [LD97b]

CoFI Task Group on Language Design. CASL - The CoFI Algebraic Specification Language - Design Proposal. CoFI Document: CASL/Proposal. WWW, FTP, May 1997.

 [LD97c]

CoFI Task Group on Language Design. CASL - The CoFI Algebraic Specification Language - Rationale. CoFI Document: CASL/Rationale. WWW, FTP, May 1997.

 [LD97d]

CoFI Task Group on Language Design. CASL - The CoFI Algebraic Specification Language - Summary. CoFI Document: CASL/Summary. WWW, FTP, May 1997.

 [LD97e]

CoFI Task Group on Language Design. CASL - The CoFI Algebraic Specification Language - Summary, version 0.97. CoFI Document: CASL/Summary-v0.97. WWW, FTP, May 1997.

 [Sem97]

CoFI Task Group on Semantics. CASL - The CoFI Algebraic Specification Language (version 0.97) - Semantics. CoFI Note: S-6. WWW, FTP, July 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.

 [vDHK96]

Arie van Deursen, Jan Heering, and Paul Klint, editors. Language Prototyping. An Algebraic Specification Approach. World Scientific, Singapore, 1996.

Addendum: