C. J. Rust, Gregory J. Reid, Allan D. Wittkopf: Existence and Uniqueness Theorems for Formal Power Series Solutions of Analytic Differential Systems. ISSAC 1999: 105-112