Please visit my homepage at Darmstadt University of Technology:
http://www.st.informatik.tu-darmstadt.de/staff/Haupt