"Searching for deadlocks while debugging concurrent haskell programs."

Jan Christiansen, Frank Huch (2004)
a service of Schloss Dagstuhl - Leibniz Center for Informatics