Korzycki M. A COMPILE-TIME DEADLOCK DETECTION PATTERN. csci. 2013;8(3):85. doi:10.7494/csci.2007.8.3.85