1. Berkovich, V.G.: Vanishing cycles for formal schemes II. Invent. Math. 125(2), 367–390 (1996)
2. Berthelot, P.: Cohomologie rigide et cohomologie rigide à support propre. Prepublication 96-03. Institut de Recherche Mathématique Avancée, Rennes, (1996)
3. Bertapelle, A.: Formal Néron models and Weil restriction. Math. Ann. 316(3), 437–463 (2000)
4. Bosch, S., Güntzer, U., Remmert, R.: Non-Archimedean analysis, volume 261 of Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences]. Springer-Verlag, Berlin. A systematic approach to rigid analytic geometry (1984)
5. Bosch, S., Lütkebohmert, W.: Stable reduction and uniformization of abelian varieties I. Math. Ann. 270(3), 349–379 (1985)