"A semantics for context-oriented programming with layers."

Dave Clarke, Ilya Sergey (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics