J. Cummings, Iterated forcing and elementary embeddings, in: Handbook of Set Theory, Vols. 1, 2, 3, pp. 775--883, Springer, Dordrecht, 2010.
J.D. Hamkins, A simple maximality principle, J. Symbolic Logic 68 (2003), no. 2, 527--550.
J.D. Hamkins, W.H. Woodin, The necessary maximality principle for c.c.c. forcing is equiconsistent with a weakly compact cardinal, MLQ Math. Log. Q. 51 (2005), no. 5, 493--498.
L. Harrington, S. Shelah, Some exact equiconsistency results in set theory, Notre Dame J. Formal Logic 26 (1985), no. 2, 178--188.