Casl: the common algebraic speci cation language, Theoret (2002)

by E Astesiano, M Bidoit, H Kirchner, B Krieg-Bruckner, P Mosses, D Sannella, A Tarlecki
Venue:Comput. Sci