Fateman. Symbolic Mathematics System Evaluators (extended Abstract). ACM Press, 1996, doi:10.1145/236869.236907.