Sibsankar Haldar K. Vidyasankar Simple Extensions of 1-writer Atomic Variable Constructions to Multiwriter Ones. 177-202 1996 33 Acta Inf. 2 db/journals/acta/acta33.html#HaldarV96