  The supersymmetric model developed by Witten to study the equivariant
cohomology of a manifold with an isometric circle action is derived from the
BRST quantization of a simple classical model. The gauge-fixing process is
carefully analysed, and demonstrates that different choices of gauge-fixing
fermion can lead to different quantum theories.
