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