@Book{HauptPauc1951,
author  = "Haupt, Otto and Pauc, Christian Y.",
title   = "Vitalische Systeme in Booleschen Sigma-Verbänden",
year    = "1951",
address = "München",
series  = "Sitzungsberichte",
volume  = "1950,14.",
url     = "https://publikationen.badw.de/en/003383656",
}