1. Duality and flat base-change on formal schemes;Alonso Tarrío,1999
2. Infinitesimal lifting and Jacobi criterion for smoothness on formal schemes;Alonso Tarrío;Comm. Alg.,2007
3. Introduction to Grothendieck Duality Theory;Altman,1970
4. Commutative Algebra;Bourbaki,1989
5. Eléments of Géométrie Algébrique I;Grothendieck,1971