List of citations in Numdam for : Propagation et constructibilité pour les systèmes microdifférentiels formels
Géométrie et analyse microlocales, Astérisque, no. 140-141 (1986), pp. 221-250.
Bulletin de la Société Mathématique de France, Volume 123 (1995) no. 2, pp. 293-327.