(苏)波波夫(Попова,С.И.),(苏)休休卡洛夫(Сюсюкалова,Г.И.)著;赵承先译1986 年出版323 页ISBN:4188·55
(苏)耶弗谢夫—西多罗夫(А.И.Евсеев-сидоров),(苏)集曼(Я.Л.Зиман)著;诸葛峻鸿译1958 年出版267 页ISBN:15039·160
(苏)沃尔阔夫(Д.П.Волков),(苏)克拉伊聂夫(А.Х.Крайнев)主编;项其权等译1985 年出版233 页ISBN:15290·12
(苏)斯维里多夫(Н.М.Виритов),(苏)斯米尔诺夫(Г.П.Смирнов)著;龚宗智等译1980 年出版108 页ISBN:15042·1592
(苏)乌瓦连柯夫(И.М.Уваренков),(苏)马尔列尔(М.З.Маллер)著;李荣东,梁永富译1957 年出版266 页ISBN:13010·306
(苏)戈尔巴托夫(Горбатов,В.А.)著;王明琼等译1991 年出版428 页ISBN:7502314830
本书内容包括代数系统、数理逻辑、图和模型图、形式语法和自动机理论、应用算法理论、特征分析等。