| Verfasser | Häufigkeit |
| Danielsson, Bengt 1921-1997 |
43 |
| Danielsson, Marie-Thérèse |
6 |
| Mazellier, Philippe |
5 |
| Danielsson, Bengt |
2 |
| Monod, Eric |
2 |
| Adams, Henry 1838-1918 |
1 |
| Berger, Bengt |
1 |
| Dallet, Jean-Marie |
1 |
| Danielsson, Axel |
1 |
| Danielsson, Bengt R. |
1 |
| Danielsson, Marie-Thérèse 1923-2003 |
1 |
| Danielsson, Nils Anders |
1 |
| Danielsson, Palle 1946-2024 |
1 |
| Ekström, Stig |
1 |
| International Workshop on Types for Proofs and Programs Bergen, Norwegen |
1 |
| Lebois, André 1915-1978 |
1 |
| Lebois, Suzanne |
1 |
| Lidforss, Bengt |
1 |
| Nordström, Bengt |
1 |
| O'Reilly, Patrick 1900- |
1 |