R. G. Buharaev, A. I. Enikeev, and I. I. Makarov, “O razrabotke instrumental’nyh sistem, orientirovannyh na rešenie informacionno-logičeskih zadač”, Acta Cybern, vol. 6, no. 1, pp. 1-5, Jan. 1983.