Pure morphisms of commutative rings are effective descent morphisms for modules. A new proof. Mesablishvili, Bachuki (2000) Theory and Applications of Categories [electronic only]