D. Y. Petrina, V. I. Gredzhuk, On two models of interacting Bose gas: Bogolyubov’s model of superfluidity and Huang-Yang-Luttinger model, Мат. физ. анал. геом. 3 (1996), 370-405.