Raphael A. Finkel Hari Madduri An Efficient Deadlock Avoidance Algorithm. 25-30 1987 24 Inf. Process. Lett. 1 db/journals/ipl/ipl24.html#FinkelM87