2 - Máximo Elemento (p.147 - ej.4)

[ con N: Int, A: array [0,N) of Int; var n,r: Int
$\{R: N \geq 0\}$ 
n,r := 0,$- \infty$ 
$\{P: r=(Max.i : 0\leq i<n : A.i) \}$ 
 do
	n$\neq$N $\rightarrow$ n,r := n+1,r max A.n 
 od
$\{Q: r=(Max.i : 0\leq i<N : A.i) \}$ 
]