Modules in the category of sheaves over quantales - Coniglio, Marcelo Esteban; Miraglia Neto, Francisco (Annals of Pure and Applied Logic, 2001)