Трифонов, П.; Карпов, Ю. Сложность алгоритмов и программ. CTE 2014.