CoFI: The Common Framework Initiative for Algebraic Specification and Development (1997)

by Peter D. Mosses, Peter D. Mosses
Venue:Proc. 7th Intl. Joint Conf. on Theory and Practice of Software Development, Lille. Springer LNCS 1214