"Some Deadlock Properties of Computer Systems."

Richard C. Holt (1971)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics