Falconi, M. Semiclassical Analysis in Infinite Dimensions: Wigner Measures. BPMAS 2016, 7, 18-35.