Title: The parallel complexity of deadlock detection
First published: 1986