- Lock–Unlock: Is That All? A Pragmatic Analysis of Locking in Software Systems -- https://hal.archives-ouvertes.fr/hal-02084060/document