Estimates for pseudo-differential operators with double symbols microlocal analysis for solutions of nonlinear partial differential equations in weighted function spaces - Marschall, Jürgen (Univ. der Bundeswehr München, Fak. für Informatik, 1990)