Pseudo-Differential Operators and Generalized Functions