Program Maximum4 declare t: integer initially t=N assign <|| i : 0 <= i < t/2 :: A[i] := max(A[2*i], A[2*i+1])> ||t := t/2 end {Maximum4}