1. G. Grätzer,Lattice theory. First concepts and distributive lattices, W. H. Freeman and Co., 1971.
2. T. Katriňák,Über einige Probleme von J. Varlet, Bull. Soc. Roy. Sci. Liège38 (1969), 428–434.
3. T. Katriňák,Die Kennzeichnung der beschränkten Brouwerschen Verbände, Czech. Math. J.22(97) (1972), 427–434.
4. H. Lakser,The structure of pseudocomplemented distributive lattices. I: Subdirect decomposition, Trans. Amer. Math. Soc.156 (1971), 335–342.
5. H. Rasiowa and R. Sikorski,The mathematics of metamathematics, PWN Warszawa 1963.