@article { , title = {A New Safety Test for Deadlock Avoidance}, journal = {Information Processing Letters, 8, No. 3}, year = {1979}, month = {01/1979}, pages = {115-120}, type = {article}, author = {Wojciech Cellary} }