Mehlhorn, Kurt Algorithms and Complexity, MPI for Informatics, Max Planck Society;
Mehlhorn, K. (1979). Dynamic Binary Search. SIAM Journal on Computing, 8(2), 175-198. doi:10.1137/0208014.