（苏）阿勃拉莫夫（В.В.Абрамов），（苏）卡烈林（Я.А.Карелин）著；石油设计局编译组译1956 年出版247 页ISBN：15037·65
（苏）别拉温切夫（Н.В.Белавенцев），（苏）捷尔戈了夫（В.М.Дергалёв）著；裴毓达译1956 年出版328 页ISBN：15043·211
（苏）斯德洛日夫（М.В.Сторожев），（苏）波波夫（Е.А.Попов）著；哈尔滨工业大学锻压教研室，吉林工业大学锻压教研室译1980 年出版418 页ISBN：15033·4839
（苏）朗道（Л.Д.Ландау），（苏）基泰戈罗茨基（А.И.Китайгородский）著；尚惠春译1984 年出版208 页ISBN：13031·2571
（苏）戈尔巴托夫（Горбатов，В.А.）著；王明琼等译1991 年出版428 页ISBN：7502314830
本书内容包括代数系统、数理逻辑、图和模型图、形式语法和自动机理论、应用算法理论、特征分析等。
（法）奥舍罗夫（Ошеров，М.С.），（苏）斯皮里多诺夫（Спиридонов，Л.И.）著；王长青，毛树智译1991 年出版230 页ISBN：750111093X
