@inproceedings{nienaltowski04, author = {Piotr Nienaltowski}, title = {Efficient Data Race and Deadlock Prevention in Concurrent Object-Oriented Programs}, booktitle = {OOPSLA'04 Companion}, year = {2004}, pages = {56--57}, urltopdf = {/old/people/nienaltowski/papers/oopsla04.pdf} }