（苏）法里坎什金（Фалькенштейн），（苏）维诺格拉多夫（Б.С.Виноградов）著；姚克成译1957 年出版28 页ISBN：16046·293
（苏）瓦西里佐夫（Э.А.Василтцов），（苏）乌沙科夫（В.Г.Ушаков）编著；姚兆生译1983 年出版341 页ISBN：15063·3524
（苏）麦息柯夫（В.В.Мешков），（苏）索卡洛夫（И.И.Соколов）著；蒋仲钧等译1956 年出版224 页ISBN：15119·14
（苏）戈尔巴托夫（Горбатов，В.А.）著；王明琼等译1991 年出版428 页ISBN：7502314830
本书内容包括代数系统、数理逻辑、图和模型图、形式语法和自动机理论、应用算法理论、特征分析等。
（苏）巴拉诺夫（Н.А.Баранов），（苏）达布洛弗里斯基（Д.С.Добровольский）著；魏钟，方书雄译1956 年出版362 页ISBN：15042·纸32·（84）
（苏）索采夫（С.С.Солнцев，），（苏）图曼诺夫（А.Т.Туманов，）著；陆索等译1979 年出版221 页ISBN：15033·4704
（苏）巴尔科夫斯基（Н.А.Барковский），（苏）科穆多夫（А.М.Коммодов）著；北京铁道学院译1956 年出版122 页ISBN：15043·220
