http://cl-informatik.uibk.ac.at/teaching/ss11/eve/content.php