Rachid Guerraoui Modular Atomic Objects. 89-99 1995 1 TAPOS 2 db/journals/tapos/tapos1.html#Guerraoui95