On the Definition of congruence by recursion. - Stenius, Eric (Commentationes physico-mathematicae, 1979)