(苏)普罗坦斯基(В.В.Протанский),(苏)绥罗马特尼柯夫(С.А.Сыромятников)著;陈陆圻等译1958 年出版182 页ISBN:15046·446
(苏)托马晓夫(Томашов,Н.Д.),契尔诺娃(Чернова,Г.Д.)著;曹铁梁等译1982 年出版201 页ISBN:15063·3409
(苏)戈尔巴托夫(Горбатов,В.А.)著;王明琼等译1991 年出版428 页ISBN:7502314830
本书内容包括代数系统、数理逻辑、图和模型图、形式语法和自动机理论、应用算法理论、特征分析等。