An Axiomatization of the Algebra of Transformations Over a Set. A.S. DAVIS — 1966 Mathematische Annalen