Zermelo-Fraenkel Set Theory - Hayden, Seymour; Kennison, John F. (Columbus, Ohio Charles E. Merrill Publishing Company, 1968)