Distributed Deadlock Detection for Communicating Processes (Operating Systems) - Richard Arthur Adams (1986)