1. Post, E.L.: The two-valued iterative system of mathematical logic, Annals of Mathematical Studies 5, pp 1–122. Princeton University Press (1941)
2. Swierczkowski, S.: Algebras which are independently generated by every n elements. Fund. Math. 49, 93–104 (1960)
3. Geiger, D.: Closed systems of functions and predicates. Pacific J. Math. 27, 95–100
4. Bodnarčuk, V.G., Kalužhnin, L.A., Kotov, V.N., Romov, B.A.: Galois theory for Post algebras I-II, Kibernetika, 3 (1969), pp. 1–10 and 5 (1969), pp. 1–9 (in Russian); Cybernetics, (1969), pp. 243–252, 531–539 (English version), 1969
5. Rosenberg, I.G.: Strongly rigid relations. Rocky Mt. J. Math. 3, 631–639 (1973)