Gavin Lowe. Testing for linearizability. Concurrency - Practice and Experience, 29(4), 2017. [doi]
@article{Lowe17-0, title = {Testing for linearizability}, author = {Gavin Lowe}, year = {2017}, doi = {10.1002/cpe.3928}, url = {http://dx.doi.org/10.1002/cpe.3928}, researchr = {https://researchr.org/publication/Lowe17-0}, cites = {0}, citedby = {0}, journal = {Concurrency - Practice and Experience}, volume = {29}, number = {4}, }