@article{NienaltowskiMO09, author = {Piotr Nienaltowski and Bertrand Meyer and Jonathan S. Ostroff}, title = {Contracts for concurrency}, journal = {Formal Asp. Comput.}, volume = {21}, number = {4}, year = {2009}, pages = {305-318}, urltopdf = {http://dx.doi.org/10.1007/s00165-007-0063-2} }