An Axiomatic Basis of Computer Programming - Hoare, C (2015)