Binary search is a well known method for searching a desired record in an ordered list of records and is described for example on page 14 of the text book Algorithms+data structures=programs" by Niklaus Wirth, Prentice-Hall, 1976, ISBN 0-13-022418-9.