Mosses, P. D. CoFI: The Common Framework Initiative for Algebraic Specification and Development. BRICS 1997, 4.