1. D.A. Martin and J.R. Steel, Iteration trees, in the J. AMS, to appear
2. J.R. Steel, Projectively wellordered inner models, to appear
3. W.J. Mitchell, Embeddings of iteation trees, unpublished notes
4. W.J. Mitchell and J.R. Steel, Fine structure and iteration trees, ASL Lecture Notes in Logic, to appear
5. Combinatorial principles in the core model;Schimmerling,1992