You are about to access our book library "Theories of Programming: The Life and Works of Tony Hoare (Acm Books) full version" .