(1)
Juozapavičius A. Symbolic Computation: Systems and Applications. NAMC 1998, 3, 59-72.