Gauge Independence in a Higher-Order Lagrangian Formalism via Change of   Variables in the Path Integral
  In this paper we work out the explicit form of the change of variables that reproduces an arbitrary change of gauge in a higher-order Lagrangian formalism. 
Igor A. Batalin and Klaus Bering
hep-th