C. A. R. HOARE

发表

C. A. R. HOARE, C. Hoare, T. Hoare, 1969, CACM.