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. 153-196 2002 286 Theor. Comput. Sci. 2 db/journals/tcs/tcs286.html#AstesianoBKKMST02