James H. Anderson A Fine-Grained Solution to the Mutual Exclusion Problem. 249-265 1993 30 Acta Inf. 3 db/journals/acta/acta30.html#Anderson93