L. Fajstrup and M. Raussen, “Detecting Deadlocks in Concurrent Systems”, BRICS, vol. 3, no. 16, Jan. 1996.