(苏)卡尔米申斯基(А.Н.Кармишенский),(苏)沃伦卓娃(В.Д.Воронцова)著;中华人民共和国建筑工程部设计总局译1957 年出版12 页ISBN:15040.622
(苏)巴尔恩高列茨(С.Б.Барнгольц),(苏)哈温(И.Е.Хавин)著;陶谋等译1958 年出版193 页ISBN:15033·1157
(俄)Н.А.舍福夫(Николай,Александрович,Шефов)著;田永祥等译2001 年出版643 页ISBN:7500551126
(苏)准科夫斯基(Н.Н.Джунковский),(苏)爱津别尔格(Айзенберг)著;中华人民共和国冶金部有色冶金设计总院机修科译1957 年出版218 页ISBN:15040·437
(苏)戈尔巴托夫(Горбатов,В.А.)著;王明琼等译1991 年出版428 页ISBN:7502314830
本书内容包括代数系统、数理逻辑、图和模型图、形式语法和自动机理论、应用算法理论、特征分析等。
(苏)弗拉基米罗夫(В.Н.Владимиров),(苏)奥克塞尔(С.В.Оксер)著;丰一吟译1957 年出版181 页ISBN:8026·596
(苏)弗拉基米罗夫(В.Н.Владимиров),(苏)奥克塞尔(С.В.Оксер)著;杨乃望译1957 年出版174 页ISBN:8026·595