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