Srinivasan, S., and R. Rajaram. “Message-Optimal Algorithm for Detection and Resolution of Generalized Deadlocks in Distributed Systems”. Informatica, vol. 35, no. 4, https://puffbird.ijs.si/index.php/informatica/article/view/375.