(苏)郭马洛夫(А.М.Комаров),(苏)鲁克尼次基(В.В.Лукнинкий)著;长春电力设计分院译1957 年出版442 页ISBN:15036·430
(苏)契马克略夫(А.П.Чекмарев),(苏)马依兹林(Ю.Ш.Майзлин)著;费普,覃圭章译1957 年出版328 页ISBN:15062·548
(苏)戈尔巴托夫(Горбатов,В.А.)著;王明琼等译1991 年出版428 页ISBN:7502314830
本书内容包括代数系统、数理逻辑、图和模型图、形式语法和自动机理论、应用算法理论、特征分析等。