Quelle  Dahl-p124.cbl   Sprache: Cobol

       identification division.
       program-id. dahl-p124.
      * 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).
       linkage section.
       77 m     pic 9(4).
       77 n     pic 9(4).
       77 r     pic 9(4).
       77 f     pic 9(4).
       77 a     pic 9(4) occurs 100.
       procedure division using m n returning r.
         perform with test after until i > j
           perform with test after until a(i)>r
             add 1 to i
           end-perform 
           perform with test after until r>=a(j)
             subtract 1 from j
           end-perform 
           if i<=j then 
             move a(j) to a(i)
             add 1 to i
             subtract 1 from j
           end-if
         end-perform
         if i<=f then 
           move i to m
         else
           if f<=j then move j to n
           else stop run end-if
         end-if
        end-program dahl-p124.