PetrinaE. D. and PetrinaD. Y., “Existence of equilibrium states of systems of hard spheres in the Boltzmann-Enskog limit within the frame work of the grand canonical ensemble”, Ukr. Mat. Zhurn., vol. 49, no. 1, pp. 112–121, Jan. 1997.