Juozapavičius A. Symbolic computation: systems and applications. Nonlinear Analysis: Modelling and Control, v. 3, n. 1, p. 59-72, 3 Dec. 1998.