Theories of Programming The Life and Works of Tony Hoare / - Cliff, Jones. (Association for Computing Machinery,)