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