@article{ Herlihy93,
    author = "Maurice Herlihy",
    title = "A Methodology for Implementing Highly Concurrent Data Objects",
    journal = "ACM Transactions on Programming Languages and Systems",
    volume = "15",
    number = "5",
    month = "November",
    publisher = "ACM Press",
    pages = "745--770",
    year = "1993",
    url = "citeseer.nj.nec.com/herlihy93methodology.html" }