Z. Laborczi, “A note on deadlocks”, Acta Cybern, vol. 4, no. 2, pp. 179-184, Jan. 1979.