1. J. Groszek, Seminar notes on L[Vλ+1], 1984
2. Extensions with the approximation and cover properties have no new large cardinals;Hamkins;Fund. Math.,2003
3. Small forcing creates neither strong nor Woodin cardinals;Hamkins;Proc. Amer. Math. Soc.,2000
4. Set Theory;Jech,2002
5. Coding lemmata in L[Vλ+1];Kafkoulis;Arch. Math. Logic,2004