The weakest prespecification (1986)

by C A R Hoare, J He
Venue:Fundamenta Informaticae IX