Mosses, P. D. “CoFI: The Common Framework Initiative for Algebraic Specification and Development”. BRICS Report Series, vol. 4, no. 48, June 1997, doi:10.7146/brics.v4i48.19269.