Fuglede, Bent. 1982. “Conditions for Two Self-Adjoint Operators to Commute or to Satisfy the Weyl Relation”. MATHEMATICA SCANDINAVICA 51 (June):163-78. https://doi.org/10.7146/math.scand.a-11971.