Liu, Y. (1991). Semiclassical limit of the spectral decomposition of a Schrödinger operator in one dimension. MATHEMATICA SCANDINAVICA, 69, 291–306. https://doi.org/10.7146/math.scand.a-12381