Zermelo-Fraenkel Set Theory - Hayden, Seymour (1969)