Richard C. Holt Some Deadlock Properties of Computer Systems. 179-196 1972 4 ACM Comput. Surv. 3 db/journals/csur/csur4.html#Holt72