Quelle  induc-p23.cob

       identification division.
       program-id. p23.
      * aus Nipkow/Paulson/Wenzel
      * Isabelle/HOL
      * Springer 2002
       author. "JD".
       date-written. 29.1.2009.
       date-compiled.
       data division.
       working-storage section.
        linkage section.
        77 m   pic 9(4).
        77 n   pic 9(4).
        77 r   pic X(8).
       procedure division using m n returning r.
         if (not (m<n)) and (m<n+1) then
           move "true" to r
          else
           move "false" to r
         end-if.
        end program p23.