Vanishing cycles for formal schemes

Vladimir G. Berkovich
1994 Inventiones Mathematicae  
doi:10.1007/bf01231772 fatcat:gkkwyh4ejrds5gujkshhmj22ra