The equivalence of some deadlock-avoidance criteria /
Habermann, Arie Nicholaas.
Newcastle-upon-Tyne :  University of Newcastle upon Tyne Computing Laboratory, 
1973.