M. Mughetti, “Analytic Hypoellipticity and the Treves Conjecture”, BPMAS, vol. 7, no. 1, pp. 53–68, Jan. 2016.