Exploring calculus with derive - Arney, David C. (Addison-Wesley, 1992)