Konečnye avtomaty : ekvivalentnost' i povedenie - Ivanov, Nikolaj Nikolaevič (Nauka - Moskva, 1984)