Wang, et al.. The Theory of Deadlock Avoidance via Discrete Control. ACM Press, 2008, doi:10.1145/1480881.1480913.