Copy of letter of C. A. R. Hoare to A. Van Wijngaarden thanking the copy of MR93 with comments See original record