for k :=1 to n
 for j :=k to n
  for i := j to n
   [Statements in the body of the inner loop, none containing branching statements that lead outside the loop]
  next i
 next j
next k