Algoritmy sinteza diskretnyh avtomatov - Zakrevskij, Arkadij Dmitrievič (Teoretičeskie osnovy tehničeskoj kibernetiki / Nauka - Moskva., 1971)