ASF

Algebraic Specification Formalism

CWI

A language for equational specification of abstract data types.

Algebraic Specification, J. A. Bergstra et al eds, Addison-Wesley, 1989.