Recoverable user-level mutual exclusion. - Philip Bohannon; Daniel F. Lieuwen; Abraham Silberschatz; S. Sudarshan 001; Jaques Gava (SPDP, 1995)