Path Integral Formulation