Algorithms and data structures : design, correctness, analysis / Jeffrey H. Kingston (Sydney : Addison-Wesley, 1990)