On Deadlock Detection in Distributed Systems. - Virgil D. Gligor; Susan H. Shattuck (IEEE Trans. Software Eng., 1980)