Verzeichnis der Professoren der Alten Universität Mainz / bearbeitet von Josef Benzing ; im Auftrag von Präsident und Senat der Johannes Gutenberg-Universität herausgegeben von Alois Gerlich