An Axiomatic Basis for Computer Programming by C. A. R. HOAREcs.ucsb.edu1 point·mustapha··0 commentsOpen articleSaveView on HN