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