Algorithms and data structures design, correctness, analysis - Kingston, Jeffrey H. (Addison-Wesley, 1995)