Detailing the main methods in the theory of involutive systems of complex vector fields this book examines the major results from the last twenty five years in the subject. One of the key tools of the subject - the Baouendi-Treves approximation theorem - is proved for many function spaces. This in turn is applied to questions in partial differential equations and several complex variables. Many basic problems such as regularity, unique continuation...