An Ada Deadlock Testing Algorithm Based on Control and Communication Flow Graphs. - Anneliese von Mayrhauser; Shao-Ming Simon Hsueh (TRI-Ada, 1992)