Axiomatic set theory impredicative theories of classes. - Chuaqui, Rolando B. (North-Holland mathematics studies, 1981)