@misc{vonHanxledenR14,
  author = {Reinhard von Hanxleden and Karsten Rathlev},
  title = {SCEst --- Sequentially Constructive Esterel},
  howpublished = {Presentation at the 21th International Open Workshop on Synchronous Programming (SYNCHRON '14), Aussois, France},
  month = {December},
  year = {2014},
  urltalk = {synchron14-rvh-talk.pdf},
}