@article{GDZPPN002111683, title = {Vanishing cycles for formal schemes.}, journal = {Inventiones mathematicae}, volume = {115}, year = {1994}, pages = {539-571}, zbl = {0791.14008}, url = {http://dml.mathdoc.fr/item/GDZPPN002111683} }
Berkovich, Vladimir G. Vanishing cycles for formal schemes.. Inventiones mathematicae, Tome 115 (1994) pp. 539-571. http://gdmltest.u-ga.fr/item/GDZPPN002111683/