CoFI: Common Framework Initiative

Open collaborative effort to produce a Common Algebraic Specification Language (CASL) as the center of an internationally standardized family of specification languages. Contacts with industry groups.