（苏）巴尔图希斯（Ю.Балтушис），（苏）格布里罗维奇（Е.Габрилович）著；曹仲文等译；电影艺术编译社编辑1956 年出版105 页ISBN：
（苏）布拉戈斯克洛诺夫（Благосклонов，Л.Н.）著；郑作新译1985 年出版275 页ISBN：13031·2889
（苏）尼古拉耶夫（Николаев，Ю.Г.），雅柯勃松（Якобсон，А.Г.）编著，刘泊生，童正则译1982 年出版313 页ISBN：15047·4200
（苏）雪维烈扬诺夫（Н.Н.Северьянов），（苏）阿加莉娜（М.С.Агалина）著；顾鸿生，项兆池译1958 年出版279 页ISBN：15035·439
（苏）戈尔巴托夫（Горбатов，В.А.）著；王明琼等译1991 年出版428 页ISBN：7502314830
本书内容包括代数系统、数理逻辑、图和模型图、形式语法和自动机理论、应用算法理论、特征分析等。
