@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},
}