FAJSTRUP, L.; RAUSSEN, M. Detecting Deadlocks in Concurrent Systems. BRICS Report Series, [S. l.], v. 3, n. 16, 1996. DOI: 10.7146/brics.v3i16.19978. Disponível em: https://tidsskrift.dk/brics/article/view/19978. Acesso em: 29 mar. 2024.