The axiom of constructibility: a guide for the Mathematician - Devlin, Keith (Lecture Notes in Mathematics, 617, 1977)