Deadlock detection algorithm with level number. - Yoshikazu Eguchi; Tsunehiro Yoshinaga (Syst. Comput. Jpn., 1986)