Korzycki, M. A COMPILE-TIME DEADLOCK DETECTION PATTERN. csci 2013, 8, 85.