The Weakest Prespecification - Hoare, C; He, J (Information Processing Letters, 1987)