Algoritmy sinteza diskretnykh avtomatov (romanized form) - Zakrevskiĭ, A. D. (Teoreticheskie osnovy tekhnicheskoĭ kibernetiki., 1971)