Letter of C. A. R. Hoare to Willem van der Poel sending a draft of an article based on MR 75 See original record