- Gordon, Michael J. C., 1948- (2)
- Claesen, Luc J. M. (1)
- Commission of the European Communities (1)
- IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications (1)
- Interuniversity Micro-Electronics Center (1)
- Milner, Robin, 1934- (1)
- Wadsworth, Christopher P., 1946- (1)