Quelle  while1.cob

       identification division.
       program-id. while.
       author. "David Gries".
      * aus "Verification, Theory and Practice"
      * Dershowitz 2004, p260
       date-written. 5.1.2011.
       date-compiled.
       data division.
       working-storage section.
        78 a  value 1.
        78 b  value 100.
        77 i  pic 99.
        77 ip1  pic 99.
       linkage section.
        01 t occurs b pic 99.
       procedure division using t.
         move a to i
         perform until i>=b
           add 1 to i giving ip1
           if t(i)>=t(ip1) then
             move t(ip1) to t(i)
           end-if
           add 1 to i 
         end-perform
        end-program while.