Ein System von unabhängigen Axiomen für Halbgruppen mit eindeutigen Halbprimfaktorzerlegungen - Hintzen, Josef, 1929- (Prüfung, 1957)