Synthesis of control automata using graph schemes of algorithmsBaranov, S.; Keevallik, AndresDigital Processes1980 / p. [?] Transformations of graph schemes of algorithmsBaranov, S.; Keevallik, AndresDigital Processes1980 / p. [?]