Arthur Norman John Fitch Memory Tracing of Algebraic Calculations. 113-119 1996 ISSAC http://doi.acm.org/10.1145/236869.236916 db/conf/issac/issac96.html#NormanF96