Path-integral formulation