Quelle  Dahl-p87.cbl   Sprache: Cobol

       identification division.
       program-id. dahl-p87.
      * aus O-J Dahl - Verifiable Programming
       author. Jens.
       date-written. 5.1.2009.
       date-compiled.
       data division.
       working-storage section.
       77 q     pic 9(4).
       77 y     pic 9(4).
       linkage section.
       77 n     pic 9(4).
       77 x     pic 9(4).
       procedure division using n returning x.
         move 0 to x
         move n to y
         move 1 to q
         perform until q>n multiply 4 by q end-perform
         perform until q=1
           divide 4 into q
           if y<x+q then divide 2 into x
           else
             compute y=y-(x+q)
             compute x=x/2+q
           end-if  
         end-perform
        end-program dahl-p87.