Baumgartner, James, Ineffability properties of cardinals II, Logic, foundations of mathematics, and computer theory (Butts, and Hintikka, , editors), D. Reidel, 1977, pp. 87–106.
Dodd, Anthony and Jensen, Ronald B., The covering lemma for K, Annals of Mathematical Logic, vol. 20 (1981), pp. 43–75.
Jensen, Ronald B., Some applications of the core model, Set theory and model theory (Jensen, Ronald B. and Prestel, A., editors), Lecture Notes in Mathematics, no. 872, Springer-Verlag, New York, 1981, pp. 55–97.
Kunen, Ken, Some applications of iterated ultraproducts in set theory, Annals of Mathematical Logic, vol. 2 (1970), pp. 71–125.
Martin, Donald A. and Steel, John R., Iteration trees, Journal of the American Mathematical Society, vol. 7 (1994), no. 1, pp. 1–73.
Mathias, Adrian, Solovay, Robert, and Woodin, W. Hugh, The consistency strength of the axiom of determinacy, in preparation.
Mitchell, William J., Ramsey cardinals and constructibility, this Journal, vol. 44 (1979), no. 2, pp. 260–266.
Mitchell, William J., Schimmerling, E., and Steel, J. R., The covering lemma up to a Woodin cardinal, Annals of Pure and Applied Logic, vol. 84 (1997), no. 2, pp. 219–255.
Mitchell, William J. and Steel, John R., Fine structure and iteration trees, Lecture Notes in Logic, no. 3, Springer-Verlag, Berlin, 1994, 130 pp.
Steel, John R., The core model iterability problem, Association for Symbolic Logic Notes in Logic, no. 8, Springer-Verlag, 1996.