Haupt, Otto; Pauc, Christian Y.: Vitalische Systeme in Booleschen Sigma-Verbänden. München 1951. Sitzungsberichte: 1950,14.. https://publikationen.badw.de/en/003383656