1. M. Groszek, Seminar notes on L[Vλ +1], 1984.
2. G. Kafkoulis, An AD like axiom, seminar notes, unpublished typescript, 1989.
3. G. Kafkoulis, Coding lemmata in L[Vλ +1], unpublished typescript, 1999.
4. The Higher Infinite;Kanamori,1994
5. Elementary embeddings and infinite combinatorics;Kunen;J. Symbolic Logic,1971