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