- International Conference on the Mathematics of Program Construction (10)
- Möller, Bernhard, 1953- (2)
- Oliveira, José N. (2)
- Backhouse, Roland C. (1)
- Backhouse, Roland C., 1948- (1)
- Bird, R. S. (Richard Simpson), 1943- (1)
- Boiten, Eerke A (1)
- Jeuring, Johan (1)
- Jeuring, Johan, 1965- (1)
- Kozen, Dexter (1)
- Morgan, C. C. (Charles Carroll), 1952- (1)
- Möller, Bernhard (1)
- Uustalu, Tarmo (1)
- Woodcock, James (1)