John R. Steel Inner Models with Many Woodin Cardinals. 185-209 1993 65 Ann. Pure Appl. Logic 2 db/journals/apal/apal65.html#Steel93