Logic Synthesis For Control Automata door Samary Baranov & S.I. Baranov