["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].