Tony Hoare and His Imprint on Computer Science

Communications of the ACM