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