@PhdThesis{nienaltowski:2007:thesis, author = {Piotr Nienaltowski}, title = {Practical Framework for Contract-Based Concurrent Object-Oriented Programming}, school = {ETH Zurich}, year = {2007}, urltopdf = {http://se.inf.ethz.ch/old/people/nienaltowski/papers/thesis.pdf} }