Circular letter of C. A. R. Hoare to WG 2.1. member See original record