1. Bonifacio Castano, Joos Heintzb, Juan Llovet, and Raquel Martinez, On the data structure straight-line program and its implementation in symbolic computation, Mathematics and Computers in Simulation 51 (2000), no. 5, 497–528.