Text this: Agorithms and data structures : design, correctness, analysis Jeffrey H. Kingston