@inproceedings(chorDATA,
 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",
 booktitle    = "Proc. of CONCUR 2010",
 series       = "LNCS",
 volume       = "6269",
 publisher    = "Springer",
 pages        = "162--176",
 doi          = "10.1007/978-3-642-15375-4_12",
)
@article(amendingDATA,
 author       = "Laura Bocchi and Julien Lange and Emilio Tuosto",
 year         = "2012",
 title        = "Three Algorithms and a Methodology for Amending Contracts for Choreographies",
 journal      = "Sci. Ann. Comp. Sci.",
 volume       = "22",
 number       = "1",
 pages        = "61--104",
 doi          = "10.7561/SACS.2012.1.61",
)
@inproceedings(hondaESOP,
 author       = "Marco Carbone and Kohei Honda and Nobuko Yoshida",
 year         = "2007",
 title        = "Structured Communication-Centred Programming for Web Services",
 booktitle    = "Proc. of ESOP'07",
 series       = "LNCS",
 volume       = "4421",
 publisher    = "Springer",
 pages        = "2--17",
 doi          = "10.1007/978-3-540-71316-6_2",
)
@inproceedings(chor:popl13,
 author       = "Marco Carbone and Fabrizio Montesi",
 year         = "2013",
 title        = "Deadlock-freedom-by-design: multiparty asynchronous global programming",
 booktitle    = "Proc. of POPL 2013",
 publisher    = "ACM",
 pages        = "263--274",
 doi          = "10.1145/2429069.2429101",
)
@book(UML,
 author       = "Martin Fowler",
 year         = "2003",
 title        = "{UML} Distilled: A Brief Guide to the Standard Object Modeling Language (3rd Edition)",
 publisher    = "Addison Wesley",
)
@inproceedings(hondaPOPL,
 author       = "Kohei Honda and Nobuko Yoshida and Marco Carbone",
 year         = "2008",
 title        = "Multiparty asynchronous session types",
 booktitle    = "Proc. of POPL'08",
 publisher    = "ACM Press",
 pages        = "273--284",
 doi          = "10.1145/1328438.1328472",
)
@inproceedings(SEFM08,
 author       = "Ivan Lanese and Claudio Guidi and Fabrizio Montesi and Gianluigi Zavattaro",
 year         = "2008",
 title        = "Bridging the Gap between Interaction- and Process-Oriented Choreographies",
 booktitle    = "Proc. of SEFM'08",
 publisher    = "IEEE Press",
 pages        = "323--332",
 doi          = "10.1109/SEFM.2008.11",
)
@unpublished(TR,
 author       = "Ivan Lanese and Fabrizio Montesi and Gianluigi Zavattaro",
 title        = "Classifying Relationships between Interaction- and Process-Oriented Choreographies",
 note         = "Available at \url {http://www.cs.unibo.it/~lanese/publications/fulltext/ioc.pdf}",
)
@article(tsc,
 author       = "Gwen Salaun and Tevfik Bultan and Nima Roohi",
 year         = "2012",
 title        = "Realizability of Choreographies Using Process Algebra Encodings",
 journal      = "IEEE Transactions on Services Computing",
 volume       = "5",
 number       = "3",
 pages        = "290--304",
 doi          = "10.1109/TSC.2011.9",
)
@inproceedings(WWW,
 author       = "Qiu Zongyan and Zhao Xiangpeng and Cai Chao and Yang Hongli",
 year         = "2007",
 title        = "Towards the Theoretical Foundation of Choreography",
 booktitle    = "Proc. of WWW'07",
 publisher    = "ACM Press",
 pages        = "973--982",
 doi          = "10.1145/1242572.1242704",
)