Fine structures and iteration trees - Mitchell, W. (Lecture Notes in Logic, 1994)