JUOZAPAVIČIUS, A. Symbolic computation: systems and applications. Nonlinear Analysis: Modelling and Control, v. 3, n. 1, p. 59–72, 3 Dec.1998.