Michael Burrows K. Rustan M. Leino Finding stale-value errors in concurrent programs. 1161-1172 2004 16 Concurrency - Practice and Experience 12 http://dx.doi.org/10.1002/cpe.866 db/journals/concurrency/concurrency16.html#BurrowsL04