（苏）巴斯捷尔（И.Д.Пастер），（苏）斯特拉舒斯基（А.М.Страшунский）编著；西北光学仪器厂译1960 年出版83 页ISBN：15033·2117
（苏）叶弗罗依莫维奇（Ю.Е.Ефроймович），（苏）费金（В.И.Фейгии）著；周述炯译1954 年出版194 页ISBN：
（苏）亚罗舍夫斯基（М.Г.Ярошевский），（苏）安齐费罗娃（Л.И.Анциферова）著；王玉琴译1981 年出版643 页ISBN：7012·0464
（苏）柯崔利（И.В.Косырь），（苏）季莫菲耶夫（Н.Н.Тимофеев）著；周邦立译1951 年出版41 页ISBN：359740
（苏）戈尔巴托夫（Горбатов，В.А.）著；王明琼等译1991 年出版428 页ISBN：7502314830
本书内容包括代数系统、数理逻辑、图和模型图、形式语法和自动机理论、应用算法理论、特征分析等。
