A systematic study of finite BRST-BFV transformations in generalized   Hamiltonian formalism
  We study systematically finite BRST-BFV transformations in the generalized Hamiltonian formalism. We present explicitly their Jacobians and the form of a solution to the compensation equation determining the functional field dependence of finite Fermionic parameters, necessary to generate arbitrary finite change of gauge-fixing functions in the path integral. 
Igor A. Batalin, Peter M. Lavrov and Igor V. Tyutin
hep-th