1. R. B. Jensen,The fine structure of the constructible hierarchy, Annals of Mathematical Logic4 (1972), 229–308.
2. R. B. Jensen,A new fine structure for higher core models, August 1997, circulated manuscript.
3. R. B. Jensen,More on iterability, March 1998, circulated manuscript.
4. R. B. Jensen,Corrections and remarks, October 1998, Circulated manuscript.
5. A. Kanamori,The Higher Infinite, Springer, Berlin, 1997.