OpenAlex
Local linearizability for concurrent container-type data structures
Work