1. Cheng, Y., Schindler, R.: Harrington’s Principle in higher-order arithmetic. J. Symb. Log. 80(02), 477–489 (2015)
2. Harrington, L.A., Baumgartner, J.E., Kleinberg, E.M.: Adding a closed unbounded set. J. Symb. Log. 41, 481–482 (1976)
3. Jensen, R.B.: Lecture note on subcomplete forcing and L-forcing. Handwritten notes.
https://www.mathematik.hu-berlin.de/~raesch/org/jensen.html
4. Shelah, S.: Proper and Improper Forcing. Perspectives in Math. Logic. Springer (1998)
5. Cummings, J.: Iterated forcing and elementary embeddings. In: Foreman, M., Kanamori, A. (Eds.) Chapter 12 in Handbook of Set Theory. Springer, Berlin (2010)