Algebratic theories - Manes, Ernest G. (Springer Verlag, 1976)