David Callahan, Jaspal Subhlok: Static Analysis of Low-level Synchronization. Workshop on Parallel and Distributed Debugging 1988: 100-111