1. Abe, T., Esnault, H.: A Lefschetz theorem for overconvergent isocrystals with Frobenius structure. http://www.mi.fu-berlin.de/users/esnault/preprints/helene/123_abe_esn (2016)
2. Abe, T.: Langlands correspondence for isocrystals and existence of crystalline companions for curves. arXiv:1310.0528v1
3. Bhatt, B., Schloze, P.: The pro-étale topology for schemes. Astérisque 369, 99–201 (2015)
4. Bott, R.: On a theorem of Lefschetz. Michigan Math. J 6, 211–216 (1959)
5. Crew, R.: F-isocrystals and p-adic representations, Algebraic Geometry, Bowdoin (1985). In: Proceedings of Symposia in Pure Mathematics 46, Part 2, pp 111–138. American Mathematical Society, Providence (1987)