Final Semantics for Event-Pattern Reactive Programs | Publicación