"Symbolic integration (phd thesis)" - читать интересную книгу автора (Moses.)