Algorithms and data structures : the basic toolbox - Mehlhorn, Kurt, 1949- (Springer, 2008)