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.