Be sure to include:

loop invariant

initialization step

maintenance step

what was found true based on loop invariant

termination step

(b) Problem definition: Determine if a key value is in a sorted sequence A of size n. Binary-Search(A, key) i = 1 j - Alength while i A[m]. i- m + 1 else if key