（苏）彼得罗夫（В.П.Петров），（苏）斯特拉霍夫（Н.М.Страхов）著；冯天阶译1956 年出版24 页ISBN：13038·84
（苏）别洛杰尔斯基（А.Н.Белозерский），（苏）普洛斯库利亚科夫（Н.И.Проскуряков）著；曹宗巽等译1956 年出版403 页ISBN：
（苏）戈尔巴托夫（Горбатов，В.А.）著；王明琼等译1991 年出版428 页ISBN：7502314830
本书内容包括代数系统、数理逻辑、图和模型图、形式语法和自动机理论、应用算法理论、特征分析等。
（苏）鲍尔迪列夫（Болдырев，А.С.），（苏）霍赫洛夫（Хохлов，В.К.）著；刘应权译1987 年出版97 页ISBN：15040·5272
（苏）特斯拉科夫斯基（И.И.Страковский），（苏）巴兰诺夫（А.М.Баранов）著；孔庆铃等译1957 年出版156 页ISBN：15043·355
（苏）维图也夫（Н.Г.Видуев），（苏）拉基托夫（Д.И.Ракитов）著；中央人民政府水利部勘测设计局译1954 年出版144 页ISBN：
（苏）雷巴柯娃（Т.А.Рыбакова），（苏）施罗柯夫（А.Г.Широков）著；李浩等译1958 年出版50 页ISBN：15062·863
（苏）古梅里雅（А.Н.Гумеля），（苏）施瓦尔茨曼（В.О.Шварцман）著；苏小美，梁承德译1955 年出版148 页ISBN：
