C.A.R.ホア
1980年度ACMチューリング賞受賞記念講演 皇帝のふる着
1981年07月号
プログラミングの数学――オックスフォード大学就任講演
1989年02月号