Richard D. Jenks Robert S. Sutor Stephen M. Watt Scratchpad II: An Abstract Datatype System for Mathematical Computation. 12-37 1987 conf/ibm/1987 Trends in Computer Algebra db/conf/ibm/algebra1987.html#JenksSW87 http://dx.doi.org/10.1007/3-540-18928-9_3