Fuglede, B. 1982. Conditions for two self-adjoint operators to commute or to satisfy the Weyl relation. MATHEMATICA SCANDINAVICA. 51, (Jun. 1982), 163–178. DOI:https://doi.org/10.7146/math.scand.a-11971.