1. Glushkov, V.M.: Intelligent machines and the mental activity of a human. Soviet School 2, 87–91 (1962) (in Russian)
2. Kaluzhnin, L.A.: On an information language for mathematics. In: Applied Linguistic and Machine Translation, pp. 21–29. Kiev University, Kiev (1962) (in Russian)
3. Kaluzhnin, L.A., Koroliuk, V.S.: Algorithms and mathematical machines. Soviet School, 283 p. (1964) (in Ukrainian)
4. Anufriev, F.V., Fedyurko, V.V., Letichevskii, A.A., Asel’derov, Z.M., Didukh, I.I.: An algorithm for proving theorems in Group theory. Cybernetics and System Analysis 2(1), 20–25 (1966)
5. Anufriev, F.V.: An algorithm for proving theorems in Set theory. In: Theory of Automata, GIC, AS of UkrSSR, Kiev, vol. 4, pp. 3–24 (1967) (in Russian)