The analysis of linear partial differential operators - Hörmander, Lars 1931-2012 (Springer, 1983)