Gideon Ehrlich Searching and Sorting Real Numbers. 1-12 1981 2 J. Algorithms 1 db/journals/jal/jal2.html#Ehrlich81