Combining Algebraic and Set-Theoretic Specifications.

Claus Hintermeier Hélène Kirchner Peter D. Mosses Combining Algebraic and Set-Theoretic Specifications. 255-273 1995 conf/compass/1995 COMPASS/ADT db/conf/compass/compass95.html#HintermaierKM95 http://dx.doi.org/10.1007/3-540-61629-2_47