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.