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