The Weakest Prespecification
C.A.R. Hoare and J. He
Journal
Information Processing Letters
Month
January
Number
2
Pages
127–32
Volume
24
Year
1987
C.A.R. Hoare and J. He