M. Korzycki, “A COMPILE-TIME DEADLOCK DETECTION PATTERN”, csci, vol. 8, no. 3, p. 85, Apr. 2013.