Quantization of Gauge systems - Henneaux, Marc; Teitelboim, Claudio (Princeton Univ. Press, 1992)