Zermelo-Fraenkel set theory - Hayden, Seymour; Kennison, John F. (Merrill, 1968)