Modeling and analysis of concurrent maintenance policies for data structures using pointers | IEEE Journals & Magazine | IEEE Xplore