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