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