1. American Mathematical Society Colloquium Publications, Vol. XXV;Birkhoff, Garrett,1967
2. Van Nostrand Mathematical Studies, No. 1;Halmos, Paul R.,1963
3. On closed elements in closure algebras;McKinsey, J. C. C.;Ann. of Math. (2),1946
4. On formulas of one variable in intuitionistic propositional calculus;Nishimura, Iwao;J. Symbolic Logic,1960