- Nivat, Maurice (9)
- International Conference on Algebraic Methodology and Software Technology (3)
- Alagar, Vangalur S., 1940- (1)
- Aït-Kaci, Hassan, 1954- (1)
- British Computer Society (1)
- Colloquium on Trees in Algebra and Programming (1)
- Dauchet, Max, 1946- (1)
- European Conferences on Theory and Practice of Software (1)
- European Symposium on Programming (1)
- FOSSACS (1)
- Institut de recherche d'informatique et d'automatique (1)
- Podelski, Andreas (1)
- Rattray, C. (Charles), 1938- (1)
- Reynolds, John C., 1935- (1)
- Rus, Teodor (1)
- Scollo, Giuseppe (1)
- Wirsing, M. (Martin) (1)