@inproceedings(BSTZ13typing,
 author       = "M.~Bartoletti and A.~Scalas and E.~Tuosto and R.~Zunino",
 year         = "2013",
 title        = "Honesty by Typing",
 booktitle    = "FMOODS/FORTE",
 pages        = "305--320",
 url          = "http://dx.doi.org/10.1007/978-3-642-38592-6\_21",
)
@inproceedings(BTZ11ice,
 author       = "M.~Bartoletti and E.~Tuosto and R.~Zunino",
 year         = "2011",
 title        = "Contracts in distributed systems",
 booktitle    = "ICE",
 pages        = "130--147",
 url          = "http://dx.doi.org/10.4204/EPTCS.59.11",
)
@article(BTZ12sacs,
 author       = "M.~Bartoletti and E.~Tuosto and R.~Zunino",
 year         = "2012",
 title        = "Contract-oriented Computing in {CO}${}_2$",
 journal      = "Scientific Annals in Comp. Sci.",
 volume       = "22",
 number       = "1",
 pages        = "5--60",
 url          = "http://dx.doi.org/10.7561/SACS.2012.1.5",
)
@inproceedings(BTZ12,
 author       = "M.~Bartoletti and E.~Tuosto and R.~Zunino",
 year         = "2012",
 title        = "On the Realizability of Contracts in Dishonest Systems",
 booktitle    = "COORDINATION",
 url          = "http://dx.doi.org/10.1007/978-3-642-30829-1\_17",
)
@inproceedings(BZ10,
 author       = "M.~Bartoletti and R.~Zunino",
 year         = "2010",
 title        = "A Calculus of Contracting Processes",
 booktitle    = "LICS",
 url          = "http://doi.ieeecomputersociety.org/10.1109/LICS.2010.25",
)
@incollection(BravettiLanese2009LNCS,
 author       = "M.~Bravetti and I.~Lanese and G.~Zavattaro",
 year         = "2009",
 title        = "Contract-Driven Implementation of Choreographies",
 booktitle    = "TGC",
 series       = "LNCS",
 volume       = "5474",
 url          = "http://dx.doi.org/10.1007/978-3-642-00945-7\_1",
)
@article(BravettiZavattaro2008FI,
 author       = "M.~Bravetti and G.~Zavattaro",
 year         = "2008",
 title        = "A Foundational Theory of Contracts for Multi-party Service Composition",
 journal      = "Fundam. Inform.",
 volume       = "89",
 number       = "4",
 url          = "http://iospress.metapress.com/content/x7613955410077k2/",
)
@article(cdp11,
 author       = "G.~Castagna and M.~Dezani-Ciancaglini and L.~Padovani",
 year         = "2012",
 title        = "On Global Types and Multi-Party Session",
 journal      = "Logical Methods in Comp. Sci.",
 volume       = "8",
 number       = "1",
 url          = "http://dx.doi.org/10.2168/LMCS-8(1:24)2012",
)
@article(Castagna09toplas,
 author       = "G.~Castagna and N.~Gesbert and L.~Padovani",
 year         = "2009",
 title        = "A theory of contracts for Web services",
 journal      = "{ACM} Trans. on Prog. Lang. and Sys.",
 volume       = "31",
 number       = "5",
 url          = "http://doi.acm.org/10.1145/1538917.1538920",
)
@inproceedings(DY12,
 author       = "P.M. Deni{\'e}lou and N.~Yoshida",
 year         = "2012",
 title        = "Multiparty Session Types Meet Communicating Automata",
 booktitle    = "ESOP",
 url          = "http://dx.doi.org/10.1007/978-3-642-28869-2\_10",
)
@inproceedings(hyc08,
 author       = "K.~Honda and N.~Yoshida and M.~Carbone",
 year         = "2008",
 title        = "Multiparty asynchronous session types",
 booktitle    = "POPL",
 url          = "http://doi.acm.org/10.1145/1328438.1328472",
)
@inproceedings(Lanese2008SEFM,
 author       = "I.~Lanese and C.~Guidi and F.~Montesi and G.~Zavattaro",
 year         = "2008",
 title        = "Bridging the Gap between Interaction- and Process-Oriented Choreographies",
 series       = "SEFM '08",
 url          = "http://dx.doi.org/10.1109/SEFM.2008.11",
)
@misc(OnlineAppendix,
 author       = "J.~Lange and A.~Scalas",
 year         = "2013",
 title        = "Choreography Synthesis as Contract Agreement + Appendix",
 note         = "Available at \url {http://tcs.unica.it/publications}",
)
@inproceedings(LT12,
 author       = "J.~Lange and E.~Tuosto",
 year         = "2012",
 title        = "Synthesising Choreographies from Local Session Types",
 booktitle    = "CONCUR",
 url          = "http://dx.doi.org/10.1007/978-3-642-32940-1\_17",
)
@misc(Oasis2012SOARef01,
 author       = "{O}{A}{S}{I}{S}",
 year         = "2012",
 title        = "Reference Architecture Foundation for Service Oriented Architecture",
 note         = "Comm. Spec. 01, v.1.0. Available at \url {http://docs.oasis-open.org/soa-rm/soa-ra/v1.0/cs01/soa-ra-v1.0-cs01.html}",
)