Elementary set theory with a universal set - Holmes, M. Randall (Academia Bruylant, 1998)