Tony Hoare and His Imprint on Computer Science