Functional Integration in Bose Systems with Hard-Core Interaction
  A grand canonical ensemble of interacting bosons is considered. The zero temperature phase diagram is evaluated from the mean-field approximation of the functional integral. Three phases are found: a superfluid, a normal fluid and a Mott insulator. 
K. Ziegler