Osnovy obščej teorii konečnych avtomatov - Čirkov, Michail Konstantinovič (Izdatel´stvo Leningradskogo universiteta, 1975)