CASL: the Common Algebraic Specification Language

Egidio Astesiano, Michel Bidoit, Hélène Kirchner, Bernd Krieg-Brückner, Peter D. Mosses, Donald Sannella, Andrzej Tarlecki. CASL: the Common Algebraic Specification Language. Theoretical Computer Science, 286(2):153-196, 2002.

Abstract

Abstract is missing.