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