Axiom of choice/Bibliography