（苏）库瓦耶娃（А.Л.Куваева），（苏）利巴托夫（Д.Н.Липатов）著；钟士模等译1956 年出版160 页ISBN：150356·410
（苏）瓦西里耶夫（Васильев，Н.Б.）（苏）叶戈罗夫（Егоров，А.А.）著；李墨卿等译1990 年出版378 页ISBN：7532810208
（苏）拉钦斯基（В.В.Рачинский），（苏）加庞（Т.Б.Гапон）著；上海第一医学院生化教研组译1957 年出版176 页ISBN：13031·239
（苏）多布罗梅斯洛夫（В.А.Добромыслов），（苏）罗森达里（Д.Э.Розенталь）著；吴喜森译1958 年出版250 页ISBN：9013·245
（俄）戈尔巴乔娃（Горбачева，Раиса，максимовна）著；戴凤文等译1993 年出版213 页ISBN：7506003228
（苏）戈尔巴托夫（Горбатов，В.А.）著；王明琼等译1991 年出版428 页ISBN：7502314830
本书内容包括代数系统、数理逻辑、图和模型图、形式语法和自动机理论、应用算法理论、特征分析等。
（苏联）希施可夫（Хишков，В，Л），（苏联）那列托夫（Папетов，Н.А）主编；陈可毅译1986 年出版577 页ISBN：16204·235
（苏）楚黎洛夫斯基（В.Н.Чуриловкий），（苏）屠磊金（И.А.Турыгин）著；李德熊译1956 年出版185 页ISBN：
