Nienaltowski. Efficient Data Race and Deadlock Prevention in Concurrent Object-oriented Programs. ACM Press, 2004, doi:10.1145/1028664.1028695.