CoFI: The Common Framework Initiative for Algebraic Specification and Development.

Peter D. Mosses CoFI: The Common Framework Initiative for Algebraic Specification and Development. 115-137 1997 conf/tapsoft/1997 TAPSOFT db/conf/tapsoft/tapsoft97.html#Mosses97 http://dx.doi.org/10.1007/BFb0030591