James Cummings Matthew Foreman Menachem Magidor Canonical structure in the universe of set theory: part two. 55-75 2006 142 Ann. Pure Appl. Logic 1-3 http://dx.doi.org/10.1016/j.apal.2005.11.007 db/journals/apal/apal142.html#CummingsFM06