- Bjørner, D. (Dines), 1937- (9)
- IFIP Technical Committee 2--Programming (2)
- VDM-Europe Symposium (2)
- Barzdinʹ, I︠A︡. M. (I︠A︡n Martynovich) (1)
- Broy, M., 1949- (1)
- Commission of the European Communities (1)
- Copenhagen Winter School on Abstract Software Specifications (1)
- Ershov, Andreĭ Petrovich, 1931- (1)
- Hoare, C. A. R. (Charles Antony Richard), 1934- (1)
- IFIP TC2 Workshop on Partial Evaluation and Mixed Computation (1)
- IFIP Working Conference on Formal Description of Programming Concepts (1)
- Jones, Cliff B., 1944- (1)
- Jones, Neil D., 1941- (1)
- Langmaack, Hans (1)
- Oest, O. N. (1)
- Pottosin, I. V. (1)