Czédli Gábor: An independence theorem for ordered sets of principal congruences and automorphism groups of bounded lattices. In: Acta scientiarum mathematicarum, (82) 1-2. pp. 3-18. (2016)