Algebraic theories - Manes, Ernest G (1976)