Alex Gontmakher Sergey Polyakov Assaf Schuster Complexity Of Verifying Java Shared Memory Execution. 721-733 2003 13 Parallel Processing Letters 4 http://dx.doi.org/10.1142/S0129626403001628 db/journals/ppl/ppl13.html#GontmakherPS03