On Deadlock Detection in Distributed Computing Systems. - Dushan Z. Badal; M. T. Gehl (INFOCOM, 1983)