1. The impossibility of an algorithm for the decidability problem on finite classes. Doklady AN SSR 70(4), 569–572 (1950)
2. Decidability problems for finite classes and definitions of finite sets, Ph.D. Thesis, Math. Inst. of the Ukrainian Academy of Sciences, Kiev (1950)
3. On recursive separability. Doklady AN SSR 88(6), 953–956 (1953)
4. Tabular representation of recursive operators. Doklady AN SSR 101(4), 417–420 (1955)
5. Modelling functions on finite set. Uchionnye Zapiski Pennenskogo Pedinstituta (Transactions of the Pensa Pedagogical Institute), (2), 61–78 (1955)