Microlocal analysis of generalized functions: pseudodifferential techniques and propagation of singularities - Claudia Garetto; Guenther Hoermann (2004)