- Hoare, C. A. R. (Charles Antony Richard), 1934- (2)
- Bjørner, D. (Dines), 1937- (1)
- Dahl, Ole-Johan, 1931- (1)
- Dijkstra, Edsger Wybe, 1930- (1)
- Hoare, C. A. R. (Charles Antony Richard), 1934ー (1)
- Langmaack, Hans (1)
- VDM-Europe Symposium (1)
- 吉田, 信博 (1)
- 川合, 慧(1944-) (1)
- 武市, 正人(1948-) (1)
- 野下, 浩平(1943-) (1)