CLEAR

A specification language based on initial algebras.

"An Informal Introduction to Specification Using CLEAR", R. M. Burstall in The Correctness Problem in Computer Science, R. S. Boyer et al eds, Academic Press, 1981, pp.185-213.