I am currently working through Hungerford's *Algebra*, which in the first few pages claims to rely on the (or perhaps *a*) Gödel-Bernays axiomatization of set theory. I am looking for a citable reference with an explicit statement of what would then be considered the Gödel-Bernays axioms.