Методы анализа машин автоматов, М.—Л., 1945 (совм.