An informal introduction to specifications using CLEAR (1981)

by R M BURSTALL, J A GOGUEN
Venue:In The Correctness Problem in Computer Science, R, S Boyer and