Quelle  Kleene-p265.cob

       Identification Division.
       Program-Id. p265.
       Author. "Stephen Cole Kleene".
      * "Introduction to Metamathematics"
      *  p265
       Data Division.
       Working-Storage Section.
      * variables
         77 b  pic S9(8).
         77 e  pic S9(8).
         77 p2 pic S9(8).
       Linkage Section.
         77 p1 pic S9(8).
         77 r  pic S9(8).
       Procedure Division using p1 returning r.
      *  this is a sample from author
      *   h(b,c)=7
      *   f(0)=4
      *   f(b')=h(b,f(b))
      * 
         perform f
         move e to r
         goback.
         f.
          if p1=0 then move 4 to e
          else
            subtract 1 from b
            perform f
            add 1 to b
            move e to p2
            perform h.
         h.
          move 7 to e.
       End-Program p265.