This is an unofficial reimagining of the Archive of Formal Proofs
Abortable Linearizable Modulesby Rachid Guerraoui, Viktor Kuncak and Giuliano Losa