JAVA Phrasebooks for computer algebra and automated deduction. - Olga Caprotti; Arjeh M. Cohen; Manfred Riem (SIGSAM Bull., 2000)