@PhdThesis{west:2014:thesis, author = {Scott West}, title = {Correctness and Execution of Concurrent Object-Oriented Programs}, school = {ETH Zurich}, year = {2014}, urltopdf = {http://se.inf.ethz.ch/people/west/thesis.pdf} }