[1]
P. D. Mosses, “CoFI: The Common Framework Initiative for Algebraic Specification and Development”, BRICS, vol. 4, no. 48, Jun. 1997.