Foundation of set theory - Fraenkel, Abraham A.; Bar-Hillel, Yehoshua; Levy, Azriel (Amsterdam North-Holland, 1973)