@article{78972,
 author = {Maurice P. Herlihy and Jeannette M. Wing},
 title = {Linearizability: a correctness condition for concurrent objects},
 journal = {ACM Transactions on Programming Languages and Systems (TOPLAS)},
 volume = {12},
 number = {3},
 year = {1990},
 issn = {0164-0925},
 pages = {463--492},
 doi = {http://doi.acm.org/10.1145/78969.78972},
 publisher = {ACM Press},
 }