Fajstrup, L. and Raussen, M. (1996) “Detecting Deadlocks in Concurrent Systems”, BRICS Report Series, 3(16). doi: 10.7146/brics.v3i16.19978.