The Wayback Machine - https://web.archive.org/web/20180113093035/https://hal.inria.fr/hal-01120152/document