TY  - JOUR
AU  - A.S. DAVIS
TI  - An Axiomatization of the Algebra of Transformations Over a Set.
JO  - Mathematische Annalen
PY  - 1966
SP  - 372
EP  - 378
VL  - 164
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MAN_1966__164_161413/
ID  - MAN_1966__164_161413
ER  -