Mosses, Peter D. “CoFI: The Common Framework Initiative for Algebraic Specification and Development”. BRICS Report Series 4, no. 48 (June 18, 1997). Accessed April 26, 2024. https://tidsskrift.dk/brics/article/view/19269.