C. A. R. Hoare
发表
C. A. R. Hoare,
C. A. R. Hoare,
C. Hoare,
1961,
Commun. ACM.
C. A. R. Hoare,
E. Dijkstra,
C. Hoare,
1978,
CACM.