S. Y. Luzin and O. B. Polubasov, “Non-iterative method for determining output polarity in the minimization of multi-output automata”, TKEA, no. 5, pp. 13-15, Oct. 2003.