Korzycki, M. “A COMPILE-TIME DEADLOCK DETECTION PATTERN”. Computer Science, vol. 8, no. 3, Apr. 2013, p. 85, doi:10.7494/csci.2007.8.3.85.