Essential properties of pro-objects in Grothendieck categories Timothy Porter (1979) Cahiers de Topologie et Géométrie Différentielle Catégoriques
Extensions of rational modules. Cuadra, J. (2003) International Journal of Mathematics and Mathematical Sciences