Binary_search(A,v)
i=A.length
if i>0
--mid=⌊i/2⌋
--if A[mid]=v
----return mid
--else
----if A[mid]>v
------for j=1 to mid
--------B[j]=A[j]
------Binary_search(B,v)
----else
------for j=mid+1 to i
--------C[j]=A[j]
------Binary_search(C,v)
return NIL