algebraic specification

CoFI (Common Framework Initiative, 1995–2005) was a collaborative project to develop a common framework for algebraic specification and development of software.

The Unified Algebras framework (1988–1992) allows algebraic specification of sorts as values.