@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}
}
