1. Calcul exponentiel des opérateurs microdifférentiels d'ordre infini;Aoki;I. Ann. Inst. Fourier (Grenoble),1983
2. Symbols and formal symbols of pseudodifferential operators;Aoki;Adv. Stud. Pure Math.,1984
3. Calcul exponentiel des opérateurs microdifférentiels d'ordre infini, II;Aoki;Ann. Inst. Fourier (Grenoble),1986
4. Quantized contact transformations and pseudodifferential operators of infinite-order;Aoki;Publ. Res. Inst. Math. Sci. Kyoto Univ.,1990
5. T. Aoki, T. Kawai, Y. Takei, New turning points in the exact WKB analysis for higher order ordinary differential equations. Analyse algébrique des perturbations singulières, I; Méthodes résurgentes, Hermann, Paris, 1994, pp. 69–84.