Die Werke der Baumeister Grubenmann Eine baugeschichtl. u. bautechn. Forschungsarb. - Killer, Joseph (Leemann, 1942)