On formal groups over complete discrete valuation rings with application to a theorem of Lutz. Keiichi Oshikawa — 1982 Journal für die reine und angewandte Mathematik