@InProceedings{Sanchez+others/05/Final,
  author = 	 {C\'esar S\'anchez and Henny B. Sipma and Matteo Slanina 
                      and Zohar Manna},
  title = 	 {Final Semantics for {E}vent-{P}attern {R}eactive {P}rograms},
  booktitle =     {First International Conference in Algebra and Coalgebra 
                        in Computer Science ({CALCO'05})},
  pages = 	 {364--378},
  year = 	 {2005},
  editor = 	 {Jos\'{e} Luiz Fiadeiro and Neil Harman and Markus 
                            Roggenbach and Jan Rutten},
  volume = 	 {3629},
  series = 	 {LNCS},
  month = 	 {September},
  publisher =    {Springer-Verlag}
}