Paul R. Halmos. Algebraic logic, III. Predicates, terms, and operations in polyadic algebras. Transactions of the American Mathematical Society, t. 83 (1956), pp. 430–470.