Bose gases, Bose-Einstein condensation, and the Bogoliubov approximation
R. Seiringer, Journal of Mathematical Physics 55 (2014).