Eine Termologik mit Auswahloperator. - Hermes, Hans (Lecture Notes in mathematics, 1965)