Haupt, Otto; Pauc, Christian Y.: Vitalische Systeme in Booleschen Sigma-Verbänden. Verl.d.Bayer.Akad.d.Wiss. München 1951Sitzungsbericht der Bayerischen Akademie der Wissenschaften: 1950,14. http://publikationen.badw.de/de/003383656