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