Title: The pursuit of deadlock freedom
First published: 1986