Quelle  Dahl-p44.cbl

       identification division.
       program-id. dahl-p44.
      * aus O-J Dahl - Verifiable Programming
       author. Jens.
       date-written. 5.1.2009.
       date-compiled.
       data division.
       working-storage section.
       78 eps value 0.0001.
       78 x   value 0.5.
       77 k      pic 9(4)V99.
       77 z      pic 9(4)V99.
       linkage section.
       77 y      pic 9(4)V99.
       procedure division returning y.
         move 1 to k
         add  1 to x giving y
         move x to z
         perform until function abs(z)< eps*y  
           add 1 to k
           compute z=z*x/k
           add z to y
         end-perform
        end-program dahl-p44.