1. Éléments de Géométrie Algébrique IV: Étude Locale des Schémas et de Morphismes de Schémas (Quatrième Partie);Grothendieck,1967
2. Noch eine Begründung der Theorie der höheren Differrentialquotienten in einem algebraischen Funktionenkorper einer Unbestimmten;Hasse;J. Reine Angew. Math.,1937
3. Formal power series rings over polynomial rings I;Matsumura,1973
4. Commutative Algebra;Matsumura,1980
5. Integrable derivations;Matsumura;Nagoya Math. J.,1982