- Dahl, Ole-Johan, 1931- (3)
- Dijkstra, Edsger Wybe, 1930- (2)
- COMPASS Workshop (1)
- Haveraaen, Magne (1)
- Hoare, C. A. R. (Charles Antony Richard), 1934- (1)
- Hoare, C. A. R. (Charles Antony Richard), 1934ー (1)
- Owe, Olaf (1)
- Workshop on Specification of Abstract Data Types (1)
- 川合, 慧(1944-) (1)
- 武市, 正人(1948-) (1)
- 野下, 浩平(1943-) (1)