Text this: Modules over discrete valuation domains