1. Artin, M.: On solutions of analytic equations. Ivent. Math.5, 277?291 (1968)
2. Gabrielov, A.M.: The formal relations between analytic functions. Funkc. Analiz. Appl.5, 64?65 (1971)
3. Grauert, H., Remmert, R.: Analytische Stellenalgebren. Berlin, Heidelberg, New York: Springer 1971
4. Mostowski, T.: A note on a decision procedure for rings of formal power series and its applications. Bull. Acad. Polon. Sci. Ser. Mat.23, 1229?1232 (1975)
5. Mostowski, T., Pfister, G.: An approximation theorem over arbitrary fields of characteristic zero. Preprint