Some deadlock properties of computer systems (1972)

by R C Holt
Venue:ACM Comput. Surveys (CSUR