A general formalism for theories with spontaneously broken local symmetries is developed in the unitarity gauge. The canonical quantization procedure is carried out, leading to a set of Lorentz-covariant Feynman rules. Various special topics are discussed.
- Received 4 October 1972
- Published in the issue dated 15 February 1973
© 1973 The American Physical Society