1. Notes on Crystalline Cohomology;Berthelot,1978
2. On the embedding of derivations of finite rank into derivations of infinite rank;Brown;Osaka J. Math.,1978
3. Le calcul différentiel dans les corps de caractéristique p>0;Dieudonné,1957
4. Eléments de Géométrie Algébrique IV: Etude locale des schémas et de morphismes de schémas (Quatrième Partie);Grothendieck,1967
5. Noch eine Begründung der Theorie der höheren Differrentialquotienten in einem algebraischen Funktionenkörper einer Unbestimmten;Hasse;J. Reine Angew. Math.,1937