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