Mosses PD. CoFI: The Common Framework Initiative for Algebraic Specification and Development. BRICS [Internet]. 1997 Jun. 18 [cited 2026 Aug. 14];4(48). Available from: https://tidsskrift.dk/brics/article/view/19269