R. Böffgen M. A. Reichert The computer algebra system SIMATH. 48-49 1987 conf/eurocal/1987 EUROCAL db/conf/eurocal/eurocal1987.html#BoffgenR87