Quelle  Dahl-p97.cbl

       identification division.
       program-id. dahl-p97.
      * aus O-J Dahl - Verifiable Programming
       author. Jens.
       date-written. 5.1.2009.
       date-compiled.
       data division.
       working-storage section.
       77 i     pic 9(4).
       77 j     pic 9(4).
       77 te    pic 9(4).
       linkage section.
       77 n     pic 9(4).
       77 a     pic 9(4) occurs 100.
       77 y     pic 9(4).
       procedure division using n a.
         perform varying i from n by -1 until i < 2
           perform varying j from 1 until j > i -1
             compute te=j -1
             if a(j)>a(te) then move a(te) to a(j) end-if
           end-perform
         end-perform
        end-program dahl-p97.