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