Algoritmy sinteza diskretivnych automatov - ZAKREVSKIJ, A.D (1971)