The Analysis of Linear Partial Differential Operators I by Lars Harmander & L. Hormander