P. Howard and J. E. Rubin, Consequences of the axiom of choice, Mathematical Surveys and Monographs, vol.59
DOI : 10.1090/surv/059

W. A. Luxemburg, Reduced powers of the real number system and equivalents of the Hahn-Banach extension theorem, Applications of Model Theory to Algebra, Analysis, and Probability (Internat. Sympos, pp.123-13718, 1967.