The following publications are possibly variants of this publication:
- Architectural Specifications in CASLMichel Bidoit, Donald Sannella, Andrzej Tarlecki. fac, 13(3-5):252-273, 2002. [doi]
- Semantics of Architectural Specifications in CASLLutz Schröder, Till Mossakowski, Andrzej Tarlecki, Bartek Klin, Piotr Hoffman. FASE 2001: 253-268 [doi]
- From Specifications to Code in CASLDavid Aspinall, Donald Sannella. amast 2002: 1-14 [doi]
- Observational interpretation of Casl specificationsMichel Bidoit, Donald Sannella, Andrzej Tarlecki. mscs, 18(2):325-371, 2008. [doi]
- CASL: the Common Algebraic Specification LanguageEgidio Astesiano, Michel Bidoit, Hélène Kirchner, Bernd Krieg-Brückner, Peter D. Mosses, Donald Sannella, Andrzej Tarlecki. TCS, 286(2):153-196, 2002.