(苏)赖洛(П.Й.Райло),(苏)瑞洛(М.Е.Жило)著;中华人民共和国重工业部安全技术监察局译1955 年出版54 页ISBN:
(苏)阿罗诺维奇(М.С.Ароновин),(苏)拉赫金(Ю.М.Лахтин)著;吴岳译1958 年出版238 页ISBN:15033·254
(苏)戈尔巴托夫(Горбатов,В.А.)著;王明琼等译1991 年出版428 页ISBN:7502314830
本书内容包括代数系统、数理逻辑、图和模型图、形式语法和自动机理论、应用算法理论、特征分析等。