The Wayback Machine - https://web.archive.org/web/20131230235941/https://users-cs.au.dk/hosc/local/LaSC-3-4-pp343-380.pdf