C. Hintermeier, H. Kirchner, and P. D. Mosses, “Combining Algebraic and Set-Theoretic Specifications (Extended Version)”, BRICS, vol. 3, no. 52, Jun. 1996.