The Wayback Machine - https://web.archive.org/web/20161119060814/https://hal.inria.fr/halshs-01182596/document