1. A. Grothendieck, Eléments de Géométrie Algébrique, rédigé avec la collaboration de J. Dieudonné, Publ. Math. I.H.E.S.; ch. 0iv: n° 20 (1964); ch. IV, §6: n° 24 (1965).
2. Schémas en groupes I, Séminaire de Géométrie Algébrique du Bois Marie, 1962–64, dir. par M. Demazure et A. Grothendieck, Lecture Notes in Math. 151, Springer Verlag (1970).
3. M. Artin, Algebraic approximation of structures over complete local rings, Publ. Math. I.H.E.S. 36, (1969), 23–58.
4. M. Artin, C. Rotthaus, A structure theorem for power series rings, in Algebraic Geometry and Commutative Algebra I, Kinokuniya Co. (1988), 35–44.
5. P. Berthelot, Cohomologie cristalline des schémas de caractéristique p > 0, Lecture Notes in Math. 407, Springer Verlag (1974).