"Task Debugging with TEMANEJO."

Steffen Brinkmann, José Gracia, Christoph Niethammer (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics