Laurent Bernardin Bruce W. Char Erich Kaltofen Symbolic Computation in Java: An Appraisement. 237-244 1999 conf/issac/1999 ISSAC http://doi.acm.org/10.1145/309831.309946 db/conf/issac/issac99.html#BernardinCK99