The Wayback Machine - https://web.archive.org/web/20181226233042/https://hal.inria.fr/inria-00444651/document