D. A. Diver Modelling Waves with Computer Algebra. 275-289 1991 11 J. Symb. Comput. 3 db/journals/jsc/jsc11.html#Diver91