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