Higgs mechanism
The Proca action is the gauge-fixed version of the Stueckelberg action via the Higgs mechanism. Quantizing the Proca action requires the use of second class constraints.