Hintermeier, C.; Kirchner, H.; Mosses, P. D. Combining Algebraic and Set-Theoretic Specifications (Extended Version). BRICS 1996, 3.