Wojciech Cellary A New Safety Test for Deadlock Avoidance. 115-120 1979 8 Inf. Process. Lett. 3 db/journals/ipl/ipl8.html#Cellary79 http://dx.doi.org/10.1016/0020-0190(79)90001-2