@incollection{morandi-nanz-meyer:2011:formal_semantics_for_SCOOP, author = {Benjamin Morandi and Sebastian Nanz and Bertrand Meyer}, title = {A Formal Reference for {SCOOP}}, booktitle = {Empirical Software Engineering and Verification}, series = {Lecture Notes in Computer Science}, editor = {Bertrand Meyer and Martin Nordio}, publisher = {Springer}, pages = {89-157}, volume = {7007}, year = {2012}, urltopdf = {/people/morandi/publications/SCOOP_07_formal_reference.pdf}, springer = {http://www.springerlink.com/content/q389310843226vm6/} }