A tutorial introduction to Derive - Ellis, Wade (Brooks/Cole Pub. Co., 1991)