Geometric proofs of composition theorems for generalized Fourier integral operators. Joshi, M.S. (1999) Portugaliae Mathematica