General theory of partial differential equations and microlocal analysis - min-you, Qi (USA Longman, 1996)