Лузин, С. Ю.; Полубасов, О. Б. Непереборный метод определения полярности выходов при минимизации многовыходных автоматов. TKEA 2003, 13-15.