B. Fuglede, “Conditions for two self-adjoint operators to commute or to satisfy the Weyl relation”., Math. Scand., vol. 51, pp. 163–178, Jun. 1982, doi: 10.7146/math.scand.a-11971.