Ralph-Johan Back A Method for Refining Atomicity in Parallel Algorithms. 199-216 1989 conf/parle/1989-2 PARLE (2) db/conf/parle/parle89-2.html#Back89 https://doi.org/10.1007/3-540-51285-3_42