The Wayback Machine - https://web.archive.org/web/20201028035312/https://fldit-www.cs.uni-dortmund.de/~peter/PS07/HR.pdf