Hacker News new | ask | show | jobs
An Axiomatic Basis for Computer Programming by C. A. R. HOARE (cs.ucsb.edu)
1 points by mustapha 4604 days ago