Combining Algebraic and Set-Theoretic Specifications.

Claus Hintermeier, Hlne Kirchner, Peter D. Mosses

Browse the full COMPASS paper archive.