A Formal Model of Dependency Resolution [video]
fosdem.org