Mark Sofroniou Symbolic Derivation of Runge-Kutta Methods. 265-296 1994 18 J. Symb. Comput. 3 db/journals/jsc/jsc18.html#Sofroniou94