An introduction to core model theory (1999)

by B Löwe, J R Steel
Venue:Sets and Proofs, Logic Colloquium 1997