Purely Functional Data Structures,
Chris Okasaki.
Cambridge University Press, 1998.
Data Structures and Algorithm in C,
Mark Allen Weiss.
Addison-Wesley, 1997 (2da edición).
Introduction to Algorithms,
Thomas Cormen, Charles E. Leiserson, Ronald L. Rivest, Clifford Stein.
MIT Press, 2001 (3era edición).
Mathematical Foundations of Computer Science.
Vol.I: Sets, Relations, and Induction,
Peter A. Fejer y Dan A. Simovici.
Springer Verlag, 1991.