Non-commutative valuation rings of K over a division ring K - Kobayashi, Shigeru.; Komatsu, Hiroaki.; Marubayashi, Hidetoshi.; Xie, Guangming.