The Laws of Programming by Hoare, C, Hayes, I, Jifeng, H, Morgan, C, Roscoe, A, Sanders, J, rensen, N, Spivey, J, Sufrin, B