On computing limits in a symbolic manipulation system - Gruntz, Dominik Wolfgang (1996)