Modules Over Discrete Valuation Domains by Askar A. Tuganbaev & Piotr A. Krylov