Data structures and algorithms : sorting and searching - Mehlhorn, Kurt