The Wayback Machine - https://web.archive.org/web/20110727161329/http://www.fi.muni.cz/usr/matyas/lecture/paper2.pdf