Derive, a mathematical assistant (Soft Warehouse, Inc., 1989)