1. [1] A. Abbes, M. Gros, and T. Tsuji, The $p$-adic Simpson Correspondence, Ann. of Math. Stud. 193, Princeton Univ. Press, Princeton, 2016.
2. [2] M. Artin, A. Grothendieck, and J. L. Verdier, Théorie des topos et cohomologie étale des schémas, I, Séminaire de Géométrie Algébrique du Bois-Marie 1963–1964 (SGA 4), Lecture Notes in Math. 269, Springer, Berlin, 1972; II, 270; III, 305, 1973.
3. [3] J. Ayoub, Les six opérations de Grothendieck et le formalisme des cycles évanescents dans le monde motivique, I, Astérisque 314 (2008).
4. [4] A. Beilinson, “How to glue perverse sheaves” in $K$-Theory, Arithmetic and Geometry (Moscow, 1984–1986), Lecture Notes in Math. 1289, Springer, Berlin, 1987, 42–51.
5. [5] A. Beilinson, Constructible sheaves are holonomic, Selecta Math. (N.S.) 22 (2016), no. 4, 1797–1819.