Pseudo-differential operators : [with 7 figures] (1994)