Title: On deadlock in computer systems
Subjects: Electronic data processing