Luzin, S. Y.; Polubasov, O. B. Non-Iterative Method for Determining Output Polarity in the Minimization of Multi-Output Automata. TKEA 2003, 13-15.