The algebraic uniqueness of the addition of natural numbers. Elemer E. Rosinger — 1982 Aequationes mathematicae