C. Hintermeier, H. Kirchner, og P. D. Mosses, “Combining Algebraic and Set-Theoretic Specifications (Extended Version)”, BRICS, bd. 3, nr. 52, jun. 1996.