@article {Lie07,
    AUTHOR = {Liesen, J{\"o}rg},
     TITLE = {Pt{\'a}k's nondiscrete induction and its application to matrix iterations},
   JOURNAL = {IMA J. Numer. Anal.},
  FJOURNAL = {IMA Journal of Numerical Analysis},
    VOLUME = {36},
      YEAR = {2016},
    NUMBER = {3},
     PAGES = {1242--1260},
}