@article(Artikis09jlap,
 author       = "Alexander Artikis and Marek J. Sergot and Jeremy V. Pitt",
 year         = "2009",
 title        = "Specifying norm-governed computational societies",
 journal      = "ACM Trans. Comput. Log.",
 volume       = "10",
 number       = "1",
 doi          = "10.1145/1459010.1459011",
)
@techreport(PCLtr,
 author       = "Massimo Bartoletti and Roberto Zunino",
 year         = "2009",
 title        = "A logic for contracts",
 type         = "Technical Report",
 number       = "DISI-09-034",
 institution  = "{DISI} - Universit\`a di Trento",
)
@inproceedings(BZ10lics,
 author       = "Massimo Bartoletti and Roberto Zunino",
 year         = "2010",
 title        = "A Calculus of Contracting Processes",
 booktitle    = "{LICS}",
 doi          = "10.1109/LICS.2010.25",
)
@inproceedings(BZ10ice,
 author       = "Massimo Bartoletti and Roberto Zunino",
 year         = "2010",
 title        = "Primitives for Contract-based Synchronization",
 booktitle    = "{ICE}",
)
@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",
 booktitle    = "CONCUR",
 doi          = "10.1007/978-3-642-15375-4_12",
)
@inproceedings(Bravetti07sc,
 author       = "Mario Bravetti and Gianluigi Zavattaro",
 year         = "2007",
 title        = "Towards a Unifying Theory for Choreography Conformance and Contract Compliance",
 booktitle    = "Software Composition",
 doi          = "10.1007/978-3-540-77351-1_4",
)
@inproceedings(Buscemi07transactional,
 author       = "Maria Grazia Buscemi and Hern{\'a}n C. Melgratti",
 year         = "2007",
 title        = "Transactional Service Level Agreement",
 booktitle    = "{TGC}",
 doi          = "10.1007/978-3-540-78663-4_10",
)
@inproceedings(Buscemi07ccpi,
 author       = "Maria Grazia Buscemi and Ugo Montanari",
 year         = "2007",
 title        = "{CC-Pi}: A Constraint-Based Language for Specifying Service Level Agreements",
 booktitle    = "{ESOP}",
 doi          = "10.1007/978-3-540-71316-6_3",
)
@inproceedings(Cardone11geometry,
 author       = "Felice Cardone",
 year         = "2011",
 title        = "The geometry and algebra of commitment",
 booktitle    = "Ludics, dialogue and interaction",
)
@inproceedings(Carpineti06basic,
 author       = "Samuele Carpineti and Cosimo Laneve",
 year         = "2006",
 title        = "A Basic Contract Language for Web Services",
 booktitle    = "{ESOP}",
 doi          = "10.1007/11693024_14",
)
@article(Castagna09contracts,
 author       = "Giuseppe Castagna and Nils Gesbert and Luca Padovani",
 year         = "2009",
 title        = "A theory of contracts for Web services",
 journal      = "{ACM} Transactions on Programming Languages and Systems",
 volume       = "31",
 number       = "5",
 doi          = "10.1145/1538917.1538920",
)
@inproceedings(Castagna09mobile,
 author       = "Giuseppe Castagna and Luca Padovani",
 year         = "2009",
 title        = "Contracts for Mobile Processes",
 booktitle    = "Proc. {CONCUR}",
 doi          = "10.1007/978-3-642-04081-8_15",
)
@inproceedings(Coppo08structured,
 author       = "Mario Coppo and Mariangiola Dezani-Ciancaglini",
 year         = "2008",
 title        = "Structured Communications with Concurrent Constraints",
 booktitle    = "{TGC}",
 doi          = "10.1007/978-3-642-00945-7_7",
)
@incollection(Emerson90temporal,
 author       = "E. Allen Emerson",
 year         = "1990",
 title        = "Temporal and Modal Logic",
 booktitle    = "Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B)",
 publisher    = "North-Holland Pub. Co./MIT Press",
)
@article(Ferrari06logic,
 author       = "Gian Luigi Ferrari and Alberto Lluch-Lafuente",
 year         = "2006",
 title        = "A Logic for Graphs with {QoS}",
 journal      = "{ENTCS}",
 volume       = "142",
 doi          = "10.1016/j.entcs.2004.10.030",
)
@inproceedings(Garg08modal,
 author       = "Deepak Garg and Mart\'{\i }n Abadi",
 year         = "2008",
 title        = "A Modal Deconstruction of Access Control Logics",
 booktitle    = "{FoSSaCS}",
 doi          = "10.1007/978-3-540-78499-9_16",
)
@inproceedings(honda.vasconcelos.kubo:language-primitives,
 author       = "Kohei Honda and Vasco T. Vasconcelos and Makoto Kubo",
 year         = "1998",
 title        = "Language Primitives and Type Disciplines for Structured Communication-based Programming",
 booktitle    = "ESOP",
 doi          = "10.1007/BFb0053567",
)
@inproceedings(mps,
 author       = "Kohei Honda and Nobuko Yoshida and Marco Carbone",
 year         = "2008",
 title        = "Multiparty asynchronous session types",
 booktitle    = "POPL",
 doi          = "10.1145/1328438.1328472",
)
@article(mcneile10,
 author       = "Ashley McNeile",
 year         = "2010",
 title        = "Protocol contracts with application to choreographed multiparty collaborations",
 journal      = "SOCA",
 volume       = "4",
 doi          = "10.1007/s11761-010-0060-9",
)
@book(Milner89ccs,
 author       = "Robin Milner",
 year         = "1989",
 title        = "Communication and concurrency",
 publisher    = "Prentice-Hall, Inc.",
)
@inproceedings(PrisacariuS07formal,
 author       = "Cristian Prisacariu and Gerardo Schneider",
 year         = "2007",
 title        = "A Formal Language for Electronic Contracts",
 booktitle    = "{FMOODS}",
 doi          = "10.1007/978-3-540-72952-5_11",
)
@inproceedings(Saraswat91cc,
 author       = "Vijay Saraswat and Prakash Panangaden and Martin Rinard",
 year         = "1991",
 title        = "Semantic Foundations of Concurrent Constraint Programming",
 booktitle    = "{POPL}",
 doi          = "10.1145/99583.99627",
)
@book(Troelstra,
 author       = "Anne Troelstra and Dirk van Dalen",
 year         = "1988",
 title        = "Constructivism in Mathematics, vol. 1",
 publisher    = "North-Holland",
)