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