DERIVE - ein mathematischer Assistent (Soester Verl.-Kontor, 1993)