000 a
020 _a9781450387286
100 _aJones, Cliff B. and Misra, Jayadev
245 _aTheories of Programming : The Life and Works of Tony Hoare
260 _bACM Books
_c2021
999 _c30712
_d30712