A specification language.
["A Look at Algebraic Specifications", S.N. Zilles et al, IBM RR, 1982].
(16 Nov 1994)