Quantization of relativistic systems with constraints

The general dynamical system with constraints is quantized, and the S-matrix is constructed in the most general class of gauges including relativistic ones. In the case when constraints do not form a group a new type of additional diagrams arises securing unitarity of the theory: the four-fermion interaction of ghost fields.