1. M. Bidoit, M. V. Cengarle, R. Hennicker: Proof Systems for Structured Specifications and Their Refinements. In E. Astesiano, H.-J. Kreowski, B. Krieg-Brückner (eds.): Algebraic Foundations of Systems Specification, pp. 385–434. Springer, 1999.
2. Lect Notes Comput Sci;T. Borzyszkowski,1998
3. Lect Notes Comput Sci;M. Bidoit,1998
4. E. Astesiano, M. Bidoit, H. Kirchner, B. Krieg-Brückner, P. Mosses, D. Sannella, A. Tarlecki. Casl: The Common Algebraic Specification Language. Theoretical Computer Science (to appear).
5. CoFI: Casl — Summary, version 1.0. In: Documents/CASL/Summary, [CoFI]. 1999.