"A Concurrent Algorithm for Avoiding Deadlocks."

Rafael O. Fontao (1971)
a service of Schloss Dagstuhl - Leibniz Center for Informatics