Mayer, Alphons: Waldensia. München 1880. Sitzungsberichte: 1880,12. https://publikationen.badw.de/de/007459054