Cartan Theorems for Stein manifolds over a discrete valuation base
  In this paper we prove Cartan theorems A and B for Stein manifolds over certain discrete valuation rings. 
Jari Taskinen and Kari Vilonen
math.CV math.AG math.FA