This volume describes the spectral theory of the Weyl-quantization of systems of polynomials in
phase-space variables modelled after the harmonic oscillator. It uses powerful and flexible
techniques gathering results scattered throughout the literature.
