Quelle  induc-p23-2.cob   Sprache: Cobol

       identification division.
       program-id. p23-2.
      * aus Nipkow/Paulson/Wenzel
      * Isabelle/HOL
      * Springer 2002
       author. "JD".
       date-written. 29.1.2009.
       date-compiled.
       data division.
       working-storage section.
        77 n   pic S9(4).
       linkage section.
        77 r   pic S9(4).
       procedure division returning r.
         move -1 to n
         perform until n*n=n
           add 1 to n
         end-perform.
         move n to r
        end program p23-2.