Văn bản này: On computing limits in a symbolic manipulation system /