Quelle  specialization.cob   Sprache: Cobol

       Identification Division.
       Program-Id. spec.
       Author. "Hatcliff/Dwyer/Laubach".
      * "aus Principles of Declarative Programming"
      * "Springer-verlag, p. 148"  
       Data Division.
       Linkage Section.
      * variables
         77 x  pic S9(8).
         77 y  pic S9(8).
         77 z  pic S9(8).
       Procedure Division using x y z.
      *  this is a sample from author
       b1.
         if x=y then goto b2 else goto b3
       b2.
         move 10 to y
         multiply 3 by z
         goto b4.
       b3.
         add 2 to x
         compute y=5*x+y
         goto b4.
       b4.
         if y<x then goto b1 else goto b5.
       b5.
         if function mod(x,2)=0 then goto b6 else goto b1.
       b6.
         stop run.
       End-Program spec.