LUZIN, S. Y.; POLUBASOV, O. B. Non-iterative method for determining output polarity in the minimization of multi-output automata. Technology and design in electronic equipment, n. 5, p. 13-15, 31 Oct. 2003.