Pure morphisms of commutative rings are effective descent morphisms for modules. A new proof. Mesablishvili, Bachuki (2000) Theory and Applications of Categories [electronic only]
Pureté et platitude pour les modules généralisés Sami Harari (1971) Cahiers de Topologie et Géométrie Différentielle Catégoriques
Push-outs and strict projective limits of semilattices. K.H. Hofmann, A. Stralka (1972) Semigroup forum