The Weakest Prespecification (Information Processing Letters, 1987)

(untitled) - Hoare, C; He, J