Covariant Operator Formalism of Gauge Theories and Quantum Gravity by N. Nakanishi & I. Ojima