∇ -model and distributivity in Boolean algebras Lev Bukovský (1968) Commentationes Mathematicae Universitatis Carolinae
Π 2 - Théorie des ensembles J.-F. Pabion (1982) Annales scientifiques de l'Université de Clermont. Mathématiques
Последний вопрос о рекурсивно-перечислимых m -степенях А. Нис, A. Nis, A. Nis, A. Nis (1994) Algebra i Logika