P. Abate, R. Di-cosmo, R. Treinen, and S. Zacchiroli, Dependency solving: A separate concern in component evolution management, Journal of Systems and Software, vol.85, issue.10, pp.2228-2240, 2012.
DOI : 10.1016/j.jss.2012.02.018

P. Abate, R. Di-cosmo, R. Treinen, and S. Zacchiroli, A modular package manager architecture. Information and Software Technology, pp.459-474, 2013.

R. Treinen and S. Zacchiroli, Description of the cudf format, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00340678