The logical approach to programming. - N. N. Nepeivoda (Algorithms in Modern Mathematics and Computer Science, 1979)

Some analogues of Partial and Mixed Computations in the Logical Programming Approach. - N. N. Nepeivoda (New Gener. Comput., 1999)

All-Siberian Open Olympiad in Programming (Novosibirsk State University). - Lidiya V. Gorodnyaya; V. D. Irtegov; N. N. Nepeivoda; Igor V. Pottosin; Tatiana G. Churina (Program. Comput. Softw., 2001)