Richard D. Jenks Barry M. Trager How to Make AXIOM into a Scratchpad. 32-40 1994 ISSAC http://doi.acm.org/10.1145/190347.190357 db/conf/issac/issac94.html#JenksT94