Konečnyje avtomaty: ekvivalentnost´ i povedenije. - Ivanov, Nikolaj Nikolajevič (Moskva : Nauka, 1984)