(苏)波卢欣(Полухин,П.И.)等著;黄克琴等译1989 年出版536 页ISBN:7502402063
高等学校教学用书:本书概述了缺陷理论
(苏)托马晓夫(Томашов,Н.Д.),契尔诺娃(Чернова,Г.Д.)著;曹铁梁等译1982 年出版201 页ISBN:15063·3409
(苏)戈尔巴托夫(Горбатов,В.А.)著;王明琼等译1991 年出版428 页ISBN:7502314830
本书内容包括代数系统、数理逻辑、图和模型图、形式语法和自动机理论、应用算法理论、特征分析等。