The Analysis of Linear Partial Differential Operators I - Hormander Lars (New York Springer Verlag, 1983)