Byung-Chul Kim, Yong-Kee Jun: Program Visualization for Debugging Deadlocks in Multithreaded Programs. FGIT-ASEA 2010: 228-236