P. D. Mosses, “CoFI: The Common Framework Initiative for Algebraic Specification and Development”, BRICS, bd. 4, nr. 48, jun. 1997.