(苏)戈尔巴托夫(Горбатов,В.А.)著;王明琼等译1991 年出版428 页ISBN:7502314830
本书内容包括代数系统、数理逻辑、图和模型图、形式语法和自动机理论、应用算法理论、特征分析等。
(苏)利沃娃(Ю.Львова),(苏)普列奥布拉任斯基(И.Преображенский)著;广生译1958 年出版198 页ISBN:7015·667
(苏)西涅夫(Н.М.Синев),(苏)巴图洛夫(Б.Б.Батуров)著;胡丕显等译1988 年出版242 页ISBN:7502200967
(苏)布尔萨柯夫斯基(Д.А.Бурсаковский),(苏)斯坦凯也夫(Б.М.Станкеев)著;中华人民共和国电力工业部水电总局专家工作室译1957 年出版50 页ISBN:15036·549