Fajstrup, L.; Raussen, M. Detecting Deadlocks in Concurrent Systems. BRICS 1996, 3.