Задача: Бинарный поиск в массиве и его разновидности
Псевдокод: Листинг 4.2. Вторая версия программы двоичного поиска 
  1. l = 0
  2. u = n-1 
  3. lоор
  4.     {invariant t mustbe(l, u) } 
  5.     if l>u
  6.         p= -1 
  7.         break 
  8.  
  9.     m = (l + u) /2
  10.     use m as a probe to shrink  the  range [l, u]
  11.         if t is found during the shrinking process
  12.             break  and  note  its  position
  13. /* русский  перевод  см    в  предыдущем  листинге */