1. The Stacks Project, available at
http://stacks.math.columbia.edu
.
2. Annals of Mathematics Studies;A. Abbes,2015
3. F. Andreatta and A. Iovita, Comparison isomorphisms for smooth formal schemes, J. Inst. Math. Jussieu, 12 (2013), 77–151.
4. A. Beauville and Y. Laszlo, Un lemme de descente, C. R. Acad. Sci., Sér. 1 Math., 320 (1995), 335–340.
5. P. Berthelot, Sur le “théorème de Lefschetz faible” en cohomologie cristalline, C. R. Acad. Sci. Paris, Sér. A-B, 277 (1973), A955–A958.