Andrzej Tarlecki. Casl: The Common Algebraic Specification Language (0)

by Egidio Astesiano, Michel Bidoit, Hélène Kirchner, Bernd Krieg-Brückner, Peter D Mosses, Donald Sannella
Venue:Theoretical Computer Science