Павлов, Д. Символьное интегрирование. CTE 2014.