http://cl-informatik.uibk.ac.at/teaching/ws10/fp/content.php