1. Iterated local reflection versus iterated consistency;Beklemishev;Ann. Pure Appl. Logic,1995
2. Notes on local reflection principles;Beklemishev;Theoria,1997
3. Proof-theoretic analysis by iterated reflection;Beklemishev;Arch. Math. Logic,2003
4. Notation systems for infinitary derivations;Buchholz;Arch. Math. Logic,1991
5. W. Buchholz, Beweistheorie, http://www.mathematik.uni-muenchen.de/~buchholz/articles/beweisth.pdf, accessed on December 11, 2015 (Lecture notes (in English) of a course at LMU Munich, winter term 2002/03).