Algebraic Theories - Manes, Ernest G. (Springer-Verlag, 1976)