hoare1974.pdf