Some examples of quantized linear Hamiltonian systems - Hinz, Juri (Methods of Functional Analysis and Topology, 1997)