Trudy Weibel Gaston H. Gonnet An Assume Facility for CAS, with a Sample Implementation for Maple. 95-103 1992 conf/disco/1992 DISCO db/conf/disco/disco1992.html#WeibelG92 http://dx.doi.org/10.1007/3-540-57272-4_27