Algorithms and structures : Design, correctness, analysis - Kingston, Jeffrey H (Addison Wesley Publishing Co, 1990)