（苏）戈尔巴托夫（Горбатов，В.А.）著；王明琼等译1991 年出版428 页ISBN：7502314830
本书内容包括代数系统、数理逻辑、图和模型图、形式语法和自动机理论、应用算法理论、特征分析等。
（苏）勃劳特斯基（В.И.Бродский），（苏）李脱维诺夫（Г.А.Литвинов）著；巢杰译1956 年出版54 页ISBN：15044·4112
（苏）瓦西里也夫（Г.Т.Васильев），（苏）巴比科夫（А.З.Бабиков）著；秦开宗译1957 年出版45 页ISBN：T15033·790
（苏）呼赫连斯基（П.Н.Житков），日特科夫（П.Н.Фухрянткий）编；雷书全译1959 年出版43 页ISBN：15033·1839
（苏）舌斯托巴洛夫（Е.С.Шестопалов），（苏）克罗霍钦（И.М.Крохотин）著；陈之航，郑振龙译1954 年出版197 页ISBN：15044·4027
（苏）波里索夫（И.Н.Борисов），（苏）费立特（В.В.Хельдт）著；徐忠一译；东北人民政府文化教育委员会编辑1952 年出版18 页ISBN：
（苏）帖烈霍夫（А.П.Терехов），（苏）波利亚克维奇（В.Г.Полякевич）著；唐克伟译1958 年出版80 页ISBN：15033895
（苏）米茨克维奇（Ю.Г.Мицкевич），（苏）鲍加托娃（Л.С.Вогатова）著；高春满等译1982 年出版378 页ISBN：15175·343
（苏）别尔巴索夫（М.Бербасов），（苏）高尔诺斯达也夫（В.Горностаев）著；高梁译1957 年出版73 页ISBN：3007·176
