Quantization of a generally covariant gauge system with two super Hamiltonian constraints

The Becci-Rouet-Stora-Tyutin (BRST) operator quantization of a finite-dimensional gauge system featuring two quadratic super Hamiltonian and m linear supermomentum constraints is studied as a model for quantizing generally covariant gauge theories. The proposed model ``completely'' mimics the constraint algebra of General Relativity. The Dirac constraint operators are identified by realizing the BRST generator of the system as a Hermitian nilpotent operator, and a physical inner product is introduced to complete a consistent quantization procedure.