References ^ Jech, Thomas (2012). 9783540440857, Springer-Verlag. ISBN 9783540440857 (revised Sep 2013)