C. A. R. Hoare, Jifeng He. The Weakest Prespecification. Inf. Process. Lett., 24(2):127-132, 1987.
@article{HoareH87, title = {The Weakest Prespecification}, author = {C. A. R. Hoare and Jifeng He}, year = {1987}, tags = {C++}, researchr = {https://researchr.org/publication/HoareH87}, cites = {0}, citedby = {0}, journal = {Inf. Process. Lett.}, volume = {24}, number = {2}, pages = {127-132}, }