Joachim Apel Uwe Klaus FELIX - An Assistant for Alebraists. 382-389 1991 ISSAC http://doi.acm.org/10.1145/120694.120753 db/conf/issac/issac91.html#ApelK91