Der Dom zu Mainz ein Handbuch - Schuchert, August 1900-1962; Jung, Wilhelm 1922-2008 (Schmidt & Bödige, 1975)