Baumgartner, James E., Iterated forcing, Surveys in Set Theory, London Mathematical Society Lecture Note Series, vol. 87, Cambridge University Press, 1983, pp. 1–59.
Bekkali, M., Topics in Set Theory: Lebesgue measurability, large cardinals, forcing axioms, rho-functions, Lecture Notes in Mathematics, vol. 1476, Springer-Verlag, Berlin, 1991, notes on lectures by Stevo Todorčević.
Burke, Douglas, Generic embeddings and the failure of box, Proceedings of the American Mathematical Society, vol. 123 (1995), no. 9, pp. 2867–2871.
Donder, Dieter and Fuchs, Ulrich, Revised countable support iterations, preprint.
Foreman, M., Magidor, M., and Shelah, S., Martin's maximum, saturated ideals, and nonregular ultrafilters, Part I, Annals of Mathematics (2), vol. 127 (1988), no. 1, pp. 1–47.
Hamkins, Joel David, The lottery preparation, Annals of Pure and Applied Logic, vol. 101 (2000), no. 2-3, pp. 103–146.
Jech, T., Multiple forcing, Cambridge Tracts in Mathematics, vol. 88, Cambridge University Pres, Cambridge, 1986.
Neeman, Itay, Hierarchies of forcing axioms II, this Journal, to appear.
Schimmerling, Ernest, Coherent sequences and threads, Advances in Mathematics, vol. 216 (2007), no. 1, pp. 89–117.
Schimmerling, Ernest and Zeman, Martin, Square in core models, The Bulletin of Symbolic Logic, vol. 7 (2001), no. 3, pp. 305–314.
Shelah, Saharon, Semiproper forcing axiom implies Martin maximum but not PFA+, this Journal, vol. 52 (1987), no. 2, pp. 360–367.
Shelah, Saharon, Proper and Improper Forcing, 2nd ed., Perspectives in Mathematical Logic, Springer-Verlag, Berlin, 1998.
Todorčević, Stevo, A note on the proper forcing axiom, Axiomatic Set Theory (Boulder, Colorado, 1983), Contemporary Mathematics, vol. 31, American Mathematical Society, Providence, RI, 1984, pp. 209–218.
Veličković, Boban, Jensen's □ principles and the Novak number of partially ordered sets, this Journal, vol. 51 (1986), no. 1, pp. 47–58.
Veličković, Boban, Forcing axioms and stationary sets, Advances in Mathematics, vol. 94 (1992), no. 2, pp. 256–284.
Woodin, W. Hugh, The Axiom of Determinacy, Forcing Axioms, and the Nonstationary Ideal, de Gruyter Series in Logic and its Applications, vol. 1, Walter de Gruyter & Co., Berlin, 1999.