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.