Formal power series rings over a π -domain Byung Gyun Kang; Dong Yeol Oh — 2009 Journal of the European Mathematical Society