CoFI: The Common Framework Initiative

CoFI: The Common Framework Initiative for algebraic specification and development of software

You can read about all about CoFI here. This page is just a place to store a few CoFI-related papers I have written and Edinburgh contributions to CoFI.
Don Sannella (dts@inf.ed.ac.uk)