"Declarative definition of contexts with polymorphic events."

Angel Núñez, Jacques Noyé, Vaidas Gasiunas (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics