The Weakest Prespecification I
C.A.R. Hoare and J. He
Journal
Fundamenta Informaticae
Month
March
Number
1
Pages
51–84
Volume
9
Year
1986
C.A.R. Hoare and J. He