（苏）戈尔巴托夫（Горбатов，В.А.）著；王明琼等译1991 年出版428 页ISBN：7502314830
本书内容包括代数系统、数理逻辑、图和模型图、形式语法和自动机理论、应用算法理论、特征分析等。
（苏）索采夫（С.С.Солнцев，），（苏）图曼诺夫（А.Т.Туманов，）著；陆索等译1979 年出版221 页ISBN：15033·4704
（苏）维图霍夫（Е.А.Ветухов），（苏）阔斯琴阔（И.Г.Костенко）著；刘家汉译1964 年出版258 页ISBN：15043·1454
（苏）柯尔巴什尼可夫（Копбошников，А.И.），（苏）叶弗烈莫夫（Ефремоф，А.В.）著；周光垓等译1986 年出版250 页ISBN：15034·2967
（苏）米德维杰夫（Н.М.Медведев），（苏）靠劳考尼尼科夫（А.Н.Колоклыников）著；胡汉泉等译1957 年出版200 页ISBN：
