LOOK

A specification language.

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