(苏)盖尔芳特,(Гельфанд,И.М.)罗日坚斯特文斯基(Рождественский,Б.Л.)著;李大潜等译1962 年出版164 页ISBN:5002·20
(苏)斯皮瓦克(А.И.Спивак),(苏)波波夫(А.Н.Попов)著;吴光琳,张祖培译1983 年出版233 页ISBN:15038·教35
(苏)斯达修克(В.Н.Стсюк),(苏)叶菲莫夫(В.М.Ефимов)著;李国桢译1957 年出版227 页ISBN:15035·322
(苏)戈尔巴托夫(Горбатов,В.А.)著;王明琼等译1991 年出版428 页ISBN:7502314830
本书内容包括代数系统、数理逻辑、图和模型图、形式语法和自动机理论、应用算法理论、特征分析等。