1. Martín Abadi and Luca Cardelli. A Theory of Objects. Springer, 1996.
2. Ergebnisse der Mathematik und ihrer Grenzgebiete;M. Beeson,1985
3. Wilfried Buchholz, Solomon Feferman, Wolfram Pohlers, and Wilfried Sieg. Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical studies, volume 897 of Lecture Notes in Mathematics. Springer-Verlag, 1981.
4. Andrea Cantini. Logical Frameworks for Truth and Abstraction, volume 135 of Studies in Logic and the Foundations of Mathematics.North-Holland, 1996.
5. Solomon Feferman. Formal theories for transfinite iterations of generalized inductive definitions and some subsystems of analysis. In A. Kino, J. Myhill, and R. Vesley, editors, Intuitionismus and Proof Theory, pages 303–326. North Holland, Amsterdam, 1970.