An Axiomatic Basis for Computer Programming by C. A. R. HOARE #1 Post by mustapha » Mon, Nov 04, 2013, 4:00 PM UTC An Axiomatic Basis for Computer Programming by C. A. R. HOAREcs.ucsb.edu