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