Luzin, S. Y., and O. B. Polubasov. “Non-Iterative Method for Determining Output Polarity in the Minimization of Multi-Output Automata”. Technology and Design in Electronic Equipment, no. 5, Oct. 2003, pp. 13-15, https://www.tkea.com.ua/index.php/journal/article/view/TKEA2003.5.13.