@article{HerlihyL82,
 author = {Maurice P. Herlihy and Barbara Liskov},
 title = {A Value Transmission Method for Abstract Data Types},
 journal = {ACM Transactions on Programming Languages and Systems (TOPLAS)},
 volume = {4},
 number = {4},
 year = {1982},
 issn = {0164-0925},
 pages = {527--551},
 doi = {http://doi.acm.org/10.1145/69622.357182},
 publisher = {ACM Press},
 }