An application of internal objects to microlocal analysis in generalized   function algebras
  We illustrate the use of internal objects in the nonlinear theory of generalized functions by means of an application to microlocal analysis in Colombeau algebras. 
Hans Vernaeve
math.FA