Algorithms and data structures design, correctness, analysis - Kingston, Jeffrey H. (International computer science series, 1990)