1. [1] Blass, A., "Injectivity, projectivity, and the axiom of choice", Transactions of the American Mathematical Society, vol. 255 (1979), pp. 31--59.
2. [2] Blass, A., and A. Scedrov, "Freyd's models for the independence of the axiom of choice", Memoirs of the American Mathematical Society, vol. 79 (1989).
3. [3] Hall, E. J., "A characterization of permutation models in terms of forcing", Notre Dame Journal of Formal Logic, vol. 43 (2002), pp. 157--68.
4. [4] Jech, T., Set Theory. The Third Millennium Edition, Revised and Expanded, Springer Monographs in Mathematics. Springer-Verlag, Berlin, 2003.
5. [5] Jech, T. J., The Axiom of Choice, vol. 75 of Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Co., Amsterdam, 1973.