"LEAD: A Formal Specification For Event Processing."

Anas Al Bassit, Sabri Skhiri, Hejer Ammar (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics