[1] G. Birkhoff, O. Frink: Representations of lattices by sets. Trans. Amer. Math. Soc. 64 (1948), 299–313. DOI 10.1090/S0002-9947-1948-0027263-2 | MR 0027263

[2] M. W. Liebeck, C. E. Praeger, J. Saxl: On the O’Nan-Scott theorem for finite primitive permutation groups. J. Austr. Math. Soc. A-44 (1988), 389–396. DOI 10.1017/S144678870003216X | MR 0929529

[3] P. P. Pálfy, P. Pudlák: Congruence lattices of finite algebras and intervals in subgroup lattices of finite groups. Algebra Universalis 11 (1980), 22–27. DOI 10.1007/BF02483080 | MR 0593011

[4] P. Pudlák, J. Tůma: Every finite lattice can be embedded in a finite partition lattice. Algebra Universalis 10 (1980), 74–95. DOI 10.1007/BF02482893 | MR 0552159

[5] J. Tůma: Some finite congruence lattices I. Czechoslovak Math. Journal 36 (1986), 298–330. MR 0831317

[6] J. Tůma: Intervals in subgroup lattices of infinite groups. J. of Algebra 125 (1989), 367–399. DOI 10.1016/0021-8693(89)90171-3 | MR 1018952

[7] J. Tůma: Partition, congruence and subgroup representations of lattices, preprint. MR 1366875

[8] J. Tůma: A new proof of Whitman’s embedding.