contributions

Theories of Programming: The Life and Works of Tony Hoare

Cliff B. Jones,Jayadev Misra