Luzin, S.Y. and Polubasov, O.B. 2003. Non-iterative method for determining output polarity in the minimization of multi-output automata. Technology and design in electronic equipment. 5 (Oct. 2003), 13-15.