（苏）扎哈洛夫（С.Н.Захаров），（苏）呼道雅洛夫（А.Л.Худояров）著；宁克勤译1954 年出版78 页ISBN：
（苏）瓦西里耶夫（В.Л.Васильев），（苏）哥里登别尔格（А.А.Гольденберг）著；胡棣华译1958 年出版206 页ISBN：I15033·1233
（苏）卡拉乌劳夫（Н.А.Караулов），（苏）罗西耶夫斯基（Г.И.Россиевский）著；韦庆昆译1955 年出版50 页ISBN：
（苏）库兹聂佐夫（Н.К.Кузнеков），（苏）兹拉特科夫斯基（А.П.Златковский）著；沙荫田，何志方译1954 年出版366 页ISBN：
（苏）戈尔巴托夫（Горбатов，В.А.）著；王明琼等译1991 年出版428 页ISBN：7502314830
本书内容包括代数系统、数理逻辑、图和模型图、形式语法和自动机理论、应用算法理论、特征分析等。
（苏）费多洛夫（В.Н.Хедоров），（苏）费多洛夫（А.В.Хедоров）著；哈尔滨第二工人技术学校译1957 年出版218 页ISBN：
