The Mathematics of the Bose Gas and Its Condensation by Elliott H. Lieb & Jan Philip Solovej