See http://ilab.cs.fu-berlin.de/members/waehlisch.html.