@inproceedings{SOSP-1971-Holt,
	author        = "Richard C. Holt",
	booktitle     = "{Proceedings of the Third Symposium on Operating System Principles}",
	doi           = "10.1145/800212.806501",
	pages         = "64--71",
	publisher     = "{ACM}",
	title         = "{Some Deadlock Properties of Computer Systems}",
	year          = 1971,
}