Sir Tony Hoare, who has died aged 92, was a leading figure in computer software design best known for developing a leading ...