Benjamin Morandi, Sebastian S. Bauer, Bertrand Meyer. SCOOP - A Contract-Based Concurrent Object-Oriented Programming Model. In Peter Müller, editor, Advanced Lectures on Software Engineering, LASER Summer School 2007/2008. Volume 6029 of Lecture Notes in Computer Science, pages 41-90, Springer, 2008. [doi]
Abstract is missing.