KDB: a multi-threaded debugger for multi-threaded applications. - Peter A. Buhr; Martin Karsten; Jun Shih (SPDT, 1996)