Jackson, Steve, Structural consequences of AD, Handbook of set theory. pp. 1753–1876, Springer, Dordrecht, 2010.
Sargsyan, Grigor, A tale of hybrid mice, ProQuest LLC, Ann Arbor, MI, 2009. Ph.D. Thesis, University of California, Berkeley.
Schindler, Ralf and Steel, John, The self-iterability of L[E], this Journal, vol. 74 (2009), no. 3, pp. 751–779.
Schindler, Ralf and Steel, John, The core model induction, available at math.berkeley.edu/∼steel.
Steel, John R., Scales in K(ℝ). The cabal seminar, vol. 1 (2003), pp. 176–208.
Steel, John R., Derived models associated to mice, Computational prospects of infinity. Part I, Tutorials, , vol. 14, pp. 105–193, World Scientific Publisher, Hackensack, NJ, 2008.
Steel, John R., An optimal consistency strength lower bound for AD ℝ, unpublished notes, 2008.
Steel, John R., An outline of inner model theory, Handbook of set theory. Vols. 1, 2, 3, pp. 1595–1684, Springer, Dordrecht, 2010.