@inproceedings(bhty09,
 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",
 pages        = "162--176",
 doi          = "10.1007/978-3-642-15375-4\_12",
)
@incollection(bflmt11,
 author       = "Roberto Bruni and Howard Foster and Alberto Lluch-Lafuente and Ugo Montanari and Emilio Tuosto",
 year         = "2011",
 title        = "A Formal Support to Business and Architectural Design for Service-Oriented Systems",
 editor       = "Martin Wirsing and Matthias M. H{\"o}lzl",
 booktitle    = "Results of the SENSORIA Project",
 series       = "Lecture Notes in Computer Science",
 volume       = "6582",
 publisher    = "Springer",
 pages        = "133--152",
 doi          = "10.1007/978-3-642-20401-2\_7",
)
@article(bgl10,
 author       = "Roberto Bruni and Fabio Gadducci and Alberto Lluch Lafuente",
 year         = "2010",
 title        = "An Algebra of Hierarchical Graphs and its Application to Structural Encoding",
 journal      = "Scientific Annals of Computer Science",
 volume       = "20",
 pages        = "53--96",
)
@incollection(bllmt08,
 author       = "Roberto Bruni and Alberto {Lluch-Lafuente} and Ugo Montanari and Emilio Tuosto",
 year         = "2008",
 title        = "Style-Based Architectural Reconfigurations",
 booktitle    = "Bulletin of the EATCS",
 pages        = "161--180",
)
@article(DBLP:journals/fuin/GadducciLV12,
 author       = "Fabio Gadducci and Alberto Lluch-Lafuente and Andrea Vandin",
 year         = "2012",
 title        = "{Counterpart Semantics for a Second-Order Calculus}",
 journal      = "Fundam. Inform.",
 volume       = "118",
 number       = "1-2",
 pages        = "177--205",
 doi          = "10.3233/FI-2012-709",
)
@book(gsw06,
 editor       = "Dina Goldin and {Scott A.} Smolka and Peter Wegner",
 year         = "2006",
 title        = "Interactive Computation",
 publisher    = "Springer-Verlag",
)
@article(hm08,
 author       = "{Markus C.} Huebscher and {Julie A.} McCann",
 year         = "2008",
 title        = "{A survey of autonomic computing - degrees, models, and applications}",
 journal      = "ACM Comput. Surv.",
 volume       = "40",
 number       = "3",
 pages        = "7:1--7:28",
 doi          = "10.1145/1380584.1380585",
)
@book(jlny04,
 author       = "Bart Jacob and Richard Lanyon-Hogg and {Devaprasad K.} Nadgir and {Amr F.} Yassin",
 year         = "2004",
 title        = "A Practical Guide to the IIBM Autonomic Computing Toolkit",
)
@article(kc03,
 author       = "{Jeffrey O.} Kephart and {David M.} Chess",
 year         = "2003",
 title        = "The Vision of Autonomic Computing",
 journal      = "Computer",
 volume       = "36",
 number       = "1",
 pages        = "41--50",
 doi          = "10.1109/MC.2003.1160055",
)
@inproceedings(Liu02sc,
 author       = "Yi Liu and {H. Conrad} Cunningham",
 year         = "2002",
 title        = "Software Component Specification Using Design by Contract",
 booktitle    = "Proceeding of the South East Software Engineering Conference",
)
@inproceedings(our:ice2012,
 author       = "Kyriakos Poyias and Emilio Tuosto",
 year         = "2012",
 title        = "Enforcing Architectural Styles in Presence of Unexpected Distributed Reconfigurations",
 booktitle    = "ICE",
 pages        = "67--82",
 doi          = "10.4204/EPTCS.104.7",
)
@book(tmd09,
 author       = "{Richard N.} Taylor and {Nenad} Medvidovi\'c and {Eric M.} Dashofy",
 year         = "2009",
 title        = "Software Architecture: Foundations, Theory, and Practice",
 publisher    = "John Wiley and Sons",
 doi          = "10.1145/1810295.1810435",
)