1. M. Abramowitz and I.A. Stegun. Handbook of Mathematical Functions. Dover Publications, New York, 1964.
2. R. Baeza, R. Casas, J. Díaz, and C. Martínez. On the average size of the intersection of binary trees. SIAM Journal on Computing, 1991. To appear. Also available as Tech. Rep. LSI-89-23, LSI-UPC, Nov 1989.
3. R. Casas, J. Díaz, and J.M. Steyaert. Average-case analysis of Robinson's unification algorithm with two different variables. Information Processing Letters, 31:227–232, June 1989.
4. R. Casas, M.I. Fernández, and J.M. Steyaert. Algebraic simplification in computer algebra: an analysis of bottom-up algorithms. Theoretical Computer Science, 74:273–298, 1990.
5. R. Courant and D. Hilbert. Methods of Mathematical Physics, volume 2. InterScience J. Wiley, 1962.