Linear partial differential operators. - Hormander Lars (1969)