@incollection{MorandiBauerMeyer:SCOOP_07_essentials, author = {Benjamin Morandi and Sebastian S. Bauer and Bertrand Meyer}, title = {{SCOOP} -- {A} Contract-Based Concurrent Object-Oriented Programming Model}, booktitle = {Advanced Lectures on Software Engineering}, series = {Lecture Notes in Computer Science}, editor = {Peter M\"uller}, publisher = {Springer}, pages = {41-90}, volume = {6029}, year = {2010}, urltopdf = {/people/morandi/publications/SCOOP_07_essentials.pdf}, springer = http://www.springerlink.com/content/58w70h207r74825w/}