1. Henkin, L.,Relativization with respect to formulas and its use in proofs of independence. Composito Math.20 (1968), 88?106.
2. [HMTI]Henkin, L.,Monk, J. D. andTarski, A.,Cylindric Algebras. Part I. North-Holland, Amsterdam, 1971.
3. [HMTII]Henkin, L.,Monk, J. D. andTarski, A.,Cylindric Algebras. Part II. North-Holland, Amsterdam, 1985.
4. [HMTAN]Henkin, L.,Monk, J. D.,Tarski, A.,Andr�ka, H. andN�meti, I., Cylindric set algebras.Lecture Notes in Mathematics vol. 883, Springer-Verlag, Berlin, 1981.
5. Henkin, L. andResek, D.,Relativization of cylindric algebras. Fundamenta Math.82 (1975), 363?383.