Y. Liu, “Semiclassical limit of the spectral decomposition of a Schrödinger operator in one dimension”., Math. Scand., vol. 69, pp. 291–306, Dec. 1991, doi: 10.7146/math.scand.a-12381.