@article(appeltauer2011contextj,
 author       = "M.~Appeltauer and R.~Hirschfeld and M.~Haupt and H.~Masuhara",
 year         = "2011",
 title        = "Context{J}: Context-oriented Programming with Java",
 journal      = "Computer Software",
 volume       = "28",
 number       = "1",
)
@article(Bartoletti1,
 author       = "Massimo Bartoletti and Pierpaolo Degano and Gian-Luigi Ferrari",
 year         = "2009",
 title        = "Planning and verifying service composition",
 journal      = "Journal of Computer Security",
 volume       = "17",
 number       = "5",
 pages        = "799--837",
 doi          = "10.3233/JCS-2009-0357",
)
@article(Bartoletti2,
 author       = "Massimo Bartoletti and Pierpaolo Degano and Gian~Luigi Ferrari and Roberto Zunino",
 year         = "2009",
 title        = "Local policies for resource usage analysis",
 journal      = "ACM Trans. Program. Lang. Syst.",
 volume       = "31",
 number       = "6",
 doi          = "10.1145/1552309.1552313",
)
@inproceedings(Clarke2009,
 author       = "Dave Clarke and Ilya Sergey",
 year         = "2009",
 title        = "A semantics for context-oriented programming with layers",
 booktitle    = "International Workshop on Context-Oriented Programming",
 series       = "COP '09",
 publisher    = "ACM",
 address      = "New York, NY, USA",
 pages        = "10:1--10:6",
 doi          = "10.1145/1562112.1562122",
)
@inproceedings(Costanza05languageconstructs,
 author       = "Pascal Costanza",
 year         = "2005",
 title        = "Language constructs for context-oriented programming",
 booktitle    = "In Proceedings of the Dynamic Languages Symposium",
 publisher    = "ACM Press",
 pages        = "1--10",
 doi          = "10.1145/1146841.1146842",
)
@inproceedings(coordination2012,
 author       = "Pierpaolo Degano and Gian-Luigi Ferrari and Letterio Galletta and Gianluca Mezzetti",
 year         = "2012",
 title        = "Typing for coordinating Secure Behavioural Variations",
 booktitle    = "Coordination Models and Languages",
 series       = "Lecture Notes in Computer Science",
 volume       = "7274",
 publisher    = "Springer",
 pages        = "261 -- 276",
 doi          = "10.1007/978-3-642-30829-1\_18",
)
@inproceedings(hirschfeld2011contextfj,
 author       = "R.~Hirschfeld and A.~Igarashi and H.~Masuhara",
 year         = "2011",
 title        = "Context{FJ}: a minimal core calculus for context-oriented programming",
 booktitle    = "Proceedings of the 10th international workshop on Foundations of aspect-oriented languages",
 organization = "ACM",
 pages        = "19--23",
 doi          = "10.1145/1960510.1960515",
)
@article(Costanza08programming,
 author       = "Robert Hirschfeld and Pascal Costanza and Oscar Nierstrasz",
 year         = "2008",
 title        = "Context-Oriented Programming",
 journal      = "Journal of Object Technology, March-April 2008, ETH Zurich",
 volume       = "7",
 number       = "3",
 pages        = "125--151",
 doi          = "10.5381/jot.2008.7.3.a4",
)
@inproceedings(honda1998,
 author       = "Kohei Honda and Vasco~Thudichum Vasconcelos and Makoto Kubo",
 year         = "1998",
 title        = "Language Primitives and Type Discipline for Structured Communication-Based Programming",
 booktitle    = "Proceedings of the 7th European Symposium on Programming: Programming Languages and Systems",
 publisher    = "Springer-Verlag",
 address      = "London, UK",
 pages        = "122--138",
 doi          = "10.1007/BFb0053567",
)
@article(IgarashiPW01,
 author       = "Atsushi Igarashi and Benjamin~C. Pierce and Philip Wadler",
 year         = "2001",
 title        = "Featherweight {J}ava: a minimal core calculus for {J}ava and {GJ}",
 journal      = "ACM Trans. Program. Lang. Syst.",
 volume       = "23",
 pages        = "396--450",
 doi          = "10.1145/503502.503505",
)