1. E. L. Post, Two-Valued Iterative Systems of Mathematical Logic, Princeton Univ. Press, Princeton (1941).
2. S. V. Yablonskii, G. P. Gavrilov, and V. B. Kudryavtsev, The Functions in the Algebra of a Logic and Post Classes [in Russian], Nauka, Moscow (1966).
3. A. V. Kuznetsov, ?Structures with a closure and criteria for functional density,? Usp. Mat. Nauk,16, No. 2 (98) (1961).
4. I. Rosenberg, ?Special types of universal algebras preserving a relation,? Preprint CRM-169, Universite de Montreal (1972).
5. V. N. Kotov and B. A. Romov, ?Galois theory for relations,? in: Theoretical Cybernetics [in Russian], No. 1, Inst. Kibernetiki Akad. Nauk UkrSSR, Kiev (1970).