(苏)阿葛罗德尼科夫(К.Х.Огородников),(苏)捷依奇(А.Н.Дейч)著;何仙槎译1955 年出版63 页ISBN:1717·787
(苏)鲍契诺夫(Е.И.Боченов),(苏)索罗金(А.Ф.Сорокин)著;中华人民共和国石油工业部北京设计院专家工作室译1956 年出版43 页ISBN:15037·92
(苏)葛立巴尔特(Х.А.Гельбарт),(苏)查姆科夫(Н.С.Замков)撰;中央人民政府重工业部基本建设司译1953 年出版29 页ISBN:
(苏)戈尔巴托夫(Горбатов,В.А.)著;王明琼等译1991 年出版428 页ISBN:7502314830
本书内容包括代数系统、数理逻辑、图和模型图、形式语法和自动机理论、应用算法理论、特征分析等。