Математические основания алгоритмов линеаризации: рефлексивно-транзитивные замыкания бинарных отношений. МІА 2016, 29, 19-33.