The Wayback Machine - https://web.archive.org/web/20110427051621/http://hal.inria.fr/docs/00/28/33/44/PDF/RR-6519.pdf