The Wayback Machine - https://web.archive.org/web/20060203090758/http://www.tsd.org:80/papers/VAL-2001%20CUDL.pdf