（苏）戈尔巴托夫（Горбатов，В.А.）著；王明琼等译1991 年出版428 页ISBN：7502314830
本书内容包括代数系统、数理逻辑、图和模型图、形式语法和自动机理论、应用算法理论、特征分析等。
（苏）格特法布（Я.Л.Гольдфарб），（苏）哈达柯夫（Ю.В.Ходаков）著；宁永正译1983 年出版252 页ISBN：13051·1326
（苏）科尔季丘克（Гордийчук，И.Б.），（苏）斯尼亚季诺夫斯卡娅（Снятиновская，Л.Ф.）著；张汉玺译1991 年出版324 页ISBN：7106004251
（苏）达尔科夫（А.В.Дарков），（苏）库滋聂错夫（В.И.Куснецов）著；俞忽译1955 年出版173 页ISBN：15043·38
（苏）雷索夫（М.И.Лысов），（苏）柯罗列夫（А.И.королев）著；万欣译1958 年出版90 页ISBN：15033·1152
