LOOK

A specification language.

["A Look at Algebraic Specifications", S.N. Zilles et al, IBM RR, 1982].