@article(Apt:1987:AFD:41625.41642,
 author       = "Krzysztof R. Apt and Nissim Francez and Shmuel Katz",
 year         = "1988",
 title        = "Appraising fairness in languages for distributed programming",
 journal      = "Distributed Computing",
 volume       = "2",
 pages        = "226--241",
)
@inproceedings(BettiniCDLDY08LONG,
 author       = "Lorenzo Bettini and Mario Coppo and Loris D'Antoni and Marco De Luca and Mariangiola Dezani-Ciancaglini and Nobuko Yoshida",
 year         = "2008",
 title        = "Global Progress in Dynamically Interleaved Multiparty Sessions",
 editor       = "Franck van Breugel and Marsha Chechik",
 booktitle    = "CONCUR",
 series       = "Lecture Notes in Computer Science",
 volume       = "5201",
 publisher    = "Springer",
 pages        = "418--433",
 url          = "http://dx.doi.org/10.1007/978-3-540-85361-9_33",
)
@inproceedings(bhty10,
 author       = "Laura Bocchi and Kohei Honda and Emilio Tuosto and Nobuko Yoshida",
 year         = "2010",
 title        = "A Theory of Design-by-Contract for Distributed Multiparty Interactions",
 editor       = "Paul Gastin and Fran\c {c}ois Laroussinie",
 booktitle    = "CONCUR",
 series       = "Lecture Notes in Computer Science",
 volume       = "6269",
 publisher    = "Springer",
 pages        = "162--176",
 doi          = "10.1007/978-3-642-15375-4\_12",
 url          = "http://dx.doi.org/10.1007/978-3-642-15375-4_12",
)
@inproceedings(BuscemiMontanari,
 author       = "Maria Grazia Buscemi and Ugo Montanari",
 year         = "2007",
 title        = "CC-Pi: a constraint-based language for specifying service level agreements",
 booktitle    = "Proceedings of the 16th European conference on Programming",
 series       = "ESOP'07",
 publisher    = "Springer-Verlag",
 address      = "Berlin, Heidelberg",
 pages        = "18--32",
 doi          = "10.1007/978-3-540-71316-6",
 url          = "http://portal.acm.org/citation.cfm?id=1762174.1762179",
)
@inproceedings(carbone.honda.yoshida:esop07,
 author       = "Marco Carbone and Kohei Honda and Nobuko Yoshida",
 year         = "2007",
 title        = "Structured Communication-Centred Programming for Web Services",
 booktitle    = "{19th International Conference on Concurrency Theory (Concur'08)}",
 publisher    = "Springer",
 pages        = "2--17",
 doi          = "10.1007/978-3-540-71316-6",
 url          = "http://www.eecs.qmul.ac.uk/~carbonem/cdlpaper/esop2007.pdf",
)
@inproceedings(mps,
 author       = "Kohei Honda and Nobuko Yoshida and Marco Carbone",
 year         = "2008",
 title        = "Multiparty asynchronous session types",
 booktitle    = "POPL",
 pages        = "273--284",
 doi          = "10.1145/1328438.1328472",
 url          = "http://doi.acm.org/10.1145/1328438.1328472",
)
@inproceedings(LT10,
 author       = "Julien Lange and Emilio Tuosto",
 year         = "2010",
 title        = "A Modular Toolkit for Theories of Distributed Interactions",
 booktitle    = "PLACES",
 note         = "To appear",
)
@book(scoop,
 author       = "Bertrand Meyer",
 year         = "1997",
 title        = "Object-Oriented Software Construction (Chapter 31)",
 publisher    = "Prentice Hall",
)