Here is a link to the PDF: http://fldit-www.cs.uni-dortmund.de/~peter/PS07/HR.pdf