You could see Weinberg I, chapter 7,8 to find examples. In simple words, the idea to quantize constrained systems is to do canonical transformations, making constraints the forms that just fix the values of several couples of conjugate variables, and to remove these couples. This method is...