Algoritmy sinteza diskretnyh avtomatov - Zakrevskij, Arkadij Dmitrievič (Nauka - Moskva, 1971)