Quelle  Dahl-p41.cbl   Sprache: Cobol

       identification division.
       program-id. dahl-p41.
      * aus O-J Dahl - Verifiable Programming
       author. Jens.
       date-written. 5.1.2009.
       date-compiled.
       data division.
       working-storage section.
       77 x      pic 9(4).
       77 q      pic 9(4).
       77 r      pic 9(4).
       linkage section.
       77 m      pic 9(4).
       77 n      pic 9(4).
       77 y      pic 9(4).
       procedure division using m n returning y.
         move m to x
         move n to y
       lab1.  
         compute q=x/y
         compute r=function mod(x,y)
         if r=0 then stop run
         else
           move y to x
           move r to y
         end-if
         goto lab1
        end-program dahl-p41.