M. Falconi, “Semiclassical Analysis in Infinite Dimensions: Wigner Measures”, BPMAS, vol. 7, no. 1, pp. 18–35, Jan. 2016.