Modules over valuation domains | lit.salon