1. The domestic levels of Kc are iterable;Andretta;Israel Journal of Mathematics,2001
2. Aspects of Constructibility;Devlin,1973
3. Constructibility;Devlin,1984
4. Fine Structure and Class Forcing;Friedman,2000
5. The fine structure of the constructible hierarchy;Jensen;Annals of Mathematical Logic,1972