Auditable Shared Objects: From Registers to Synchronization Primitives | Publicación