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