The Theory of Proportionality as an Abstraction of Group Theory. J.B. Büchi; J.B. Wright Mathematische Annalen