Wim H. Hesselink A challenge for atomicity verification. 57-72 2008 71 Sci. Comput. Program. 1 http://dx.doi.org/10.1016/j.scico.2008.01.001 db/journals/scp/scp71.html#Hesselink08