（苏）卡利库琴（В.Калькутин），（苏）米特罗范诺夫（В.Митрофанов）著1954 年出版241 页ISBN：805405
（苏）戈尔巴托夫（Горбатов，В.А.）著；王明琼等译1991 年出版428 页ISBN：7502314830
本书内容包括代数系统、数理逻辑、图和模型图、形式语法和自动机理论、应用算法理论、特征分析等。
（苏）班恩（А.Бан），（苏）马克西莫夫（В.А.Максимов）等著；张朝琛译1981 年出版343 页ISBN：15037·2243
С.А.Григорьева，Н.В.Григорьев，Г.Е.Крейдлин2001 年出版254 页ISBN：
（苏）巴布科（А.К.Бабко），（苏）彼利平科（А.Т.Пилипенко）著；施绍银等译1958 年出版363 页ISBN：15063·0227
（苏）普拉霍夫（Б.Г.Прахов），（苏）曾金（Н.М.Зенкин）著；孙崇善等译1979 年出版172 页ISBN：17176·161
（苏）加斯塔尔斯基（А.А.Кастальский），（苏）克略契科（В.А.Клячко）著；张善道译1957 年出版249 页ISBN：15036·570
