@MISC{west-nanz-meyer:2014:techreport, author = {West, Scott and Nanz, Sebastian and Meyer, Bertrand}, title = {Efficient and Reasonable Object-Oriented Concurrency}, urltopdf = {http://arxiv.org/abs/1405.7153}, publisher = {arXiv:1405.7153}, year = {2014} }