Limit computation in computer algebra - Gonnet, Gastón H. 1948-; Gruntz, Dominik (Technische Hochschule <Zürich>, 1992)