Nicolas J. Doye: Automated Coercion for Axiom. ISSAC 1999: 229-235