Korzycki, M. (2013). A COMPILE-TIME DEADLOCK DETECTION PATTERN. Computer Science, 8(3), 85. https://doi.org/10.7494/csci.2007.8.3.85