The Common Framework Initiative for algebraic specification and development, electronic archives. Notes and Documents accessible by WWW at http://www.brics.dk/Projects/CoFI (0)

by CoFI