@inproceedings{ys:softmc03,
    author = {E. Yahav and M. Sagiv},
    title = {Automatically Verifying Concurrent Queue Algorithms},
    booktitle = {Electronic Notes in Theoretical Computer Science},
    volume = {89},
    issue = {3},
    publisher = {Elsevier},
    editor = {Byron Cook and Scott Stoller and Willem Visser},
    year = {2003}
}