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

by P Mosses
Venue:Theory and Practice of Software Development '97. LNCS 1214