（苏）戈尔巴托夫（Горбатов，В.А.）著；王明琼等译1991 年出版428 页ISBN：7502314830
本书内容包括代数系统、数理逻辑、图和模型图、形式语法和自动机理论、应用算法理论、特征分析等。
（苏）易新（О.А.Есин），（苏）格尔德（П.В.Гелъд）著；蒋导江等译1958 年出版538 页ISBN：15010·713
（苏）易新（О.А.Есин），（苏）格尔德（П.В.Гелъд）著；蒋导江，黄希祜译1955 年出版249 页ISBN：
（苏）布钦科夫（А.П.Пученков），（苏）施里彼（И.С.Шлнппе）著；杨斌严，廖晓山译1956 年出版78 页ISBN：
（苏）奈丁（П.Г.Найдин），（苏）采尔纳文（А.С.Чернавин）著；尹金凤译1958 年出版211 页ISBN：16144·258
