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.