Ralph-Johan Back: A Method for Refining Atomicity in Parallel Algorithms. PARLE (2) 1989: 199-216