1. Kogabaev N. T., “The class of projective planes is noncomputable,” Algebra and Logic, 47, No. 4, 242–257 (2008).
2. Shirshov A. I. and Nikitin A. A., “On the theory of projective planes,” Algebra i Logika, 20, No. 3, 330–356 (1981).
3. Shirshov A. I. and Nikitin A. A., The Algebraic Theory of Projective Planes [in Russian], Novosibirsk Univ., Novosibirsk (1987).
4. Ershov Yu. L. and Goncharov S. S., Constructive Models, Ser. Siberian School of Algebra and Logic, Kluwer Academic/ Plenum Publishers, New York, etc. (2000).
5. Hughes D. R. and Piper F. C., Projective Planes, Springer-Verlag, New York, Heidelberg, and Berlin (1973).