An informal introduction to specifications using Clear (1981)

by R Burstall, J Goguen
Venue:The Correctness Problem in Computer Science, International Lecture Series in Computer Science, chapter 4