Localization and iteration of axiomatic set theory - Kruse, Arthur H. (Wayne State Univ. Press, 1969)