[1] R. Beazer: The determination congruence on double $p$-algebras. Algebra Universalis 6 (1976), 121-129. DOI 10.1007/BF02485824 | MR 0419319 | Zbl 0353.06002

[2] R. Beazer: Pseudocomplemented algebras with Boolean congruence lattices. J. Australian Math. Soc. 26 (1978), 163-168. DOI 10.1017/S1446788700011654 | MR 0551487 | Zbl 0389.06004

[3] R. Beazer: Congruence pairs of distributive doubles-algebras with non-empty core. Houston J. Math. 6 (1980), 443-454. MR 0621741

[4] R. Beazer: Congruence uniform algebras with pseudocomplementation. Studia Sci. Math. Hungar. 20 (1985), 43-48 MR 0886003 | Zbl 0523.06016

[5] S. Burris, H. P. Sankappanavar: A Course in Universal Algebra. Graduate Texts in Mathematics, Springer-Verlag, 1981. MR 0648287 | Zbl 0478.08001

[6] I. Chajda: A Maľcev condition for congruence principal permutable varieties. Algebra Universalis 19 (1984), 337-340. DOI 10.1007/BF01201102 | MR 0779151

[7] G. Grätzer: General Lattice Theory. Birkhäuser Verlag, Basel and Stuttgart, 1978. MR 0504338

[8] T. Hecht, T. Katriňák: Principal congruences of $p$-algebras and double $p$-algebras. Proc. Amer. Math. Soc. 58 (1976), 25-31. MR 0409293

[9] T. Katriňák: The structure of distributive double $p$-algebras. Regularity and congruences. Algebra Universalis 3 (1973), 238-246. DOI 10.1007/BF02945123 | MR 0332598

[10] T. Katriňák: Congruence extension property for distributive double $p$-algebras. Algebra Universalis 4 (1974), 273-276. DOI 10.1007/BF02485737 | MR 0354475

[11] T. Katriňák: Congruence pairs on $p$-algebras with a modular frame. Algebra Universalis 8 (1978), 205-220. DOI 10.1007/BF02485390 | MR 0465973

[12] T. Katriňák: Subdirectly irreducible distributive double $p$-algebras. Algebra Universalis 10 (1980), 195-219. DOI 10.1007/BF02482902 | MR 0560141

[13] V. Koubek, J. Sichler: Universal varieties of distributive double $p$-algebras. Glasgow Math. J. 26 (1985), 121-133. DOI 10.1017/S0017089500005887 | MR 0798738 | Zbl 0574.06009

[14] R. W. Quackenbush: Varieties with $n$-principal compact congruences. Algebra Universalis 14 (1982), 292-296. DOI 10.1007/BF02483933 | MR 0654398 | Zbl 0493.08006

[15] J. C. Varlet: A regular variety of type <2,2, 1, 1,0,0>. Algebra Universalis 2(1972), 218-223. MR 0325477 | Zbl 0256.06004

[16] J. C. Varlet: Large congruences in $p$-algebras and double $p$-algebras. Algebra Universalis 9 (1979), 165-178. DOI 10.1007/BF02488028 | MR 0523931 | Zbl 0436.06009

[17] J. C. Varlet: Regularity in double $p$-algebras. Algebra Universalis 18 (1984), 95-105. DOI 10.1007/BF01182250 | MR 0743459 | Zbl 0547.06008