https://123dok.net/document/qo5j4m37-positive-energy-quantization-of-linear-dynamics.html