Ein Algorithmus zur Deadlock-Entdeckung. - W. Witzel (ARCS, 1970)

The Reliability of Programming Systems. - H. Gerstmann; Hans Diel; W. Witzel (Programming Methodology, 1974)