M. Bartoletti, E. Tuosto & R. Zunino (2011):
Contracts in distributed systems.
In: ICE,
pp. 130–147.
Available at http://dx.doi.org/10.4204/EPTCS.59.11.
M. Bartoletti, E. Tuosto & R. Zunino (2012):
Contract-oriented Computing in CO_2.
Scientific Annals in Comp. Sci. 22(1),
pp. 5–60.
Available at http://dx.doi.org/10.7561/SACS.2012.1.5.
G. Castagna, M. Dezani-Ciancaglini & L. Padovani (2012):
On Global Types and Multi-Party Session.
Logical Methods in Comp. Sci. 8(1).
Available at http://dx.doi.org/10.2168/LMCS-8(1:24)2012.
G. Castagna, N. Gesbert & L. Padovani (2009):
A theory of contracts for Web services.
ACM Trans. on Prog. Lang. and Sys. 31(5).
Available at http://doi.acm.org/10.1145/1538917.1538920.
I. Lanese, C. Guidi, F. Montesi & G. Zavattaro (2008):
Bridging the Gap between Interaction- and Process-Oriented Choreographies.
SEFM '08.
Available at http://dx.doi.org/10.1109/SEFM.2008.11.
J. Lange & A. Scalas (2013):
Choreography Synthesis as Contract Agreement + Appendix.
Available at http://tcs.unica.it/publications.
OASIS (2012):
Reference Architecture Foundation for Service Oriented Architecture.
Comm. Spec. 01, v.1.0. Available at http://docs.oasis-open.org/soa-rm/soa-ra/v1.0/cs01/soa-ra-v1.0-cs01.html.