@inproceedings{LukoschusvH05a,
  author = {Jan Lukoschus and Reinhard von Hanxleden},
  title = {Removing Cycles in {E}sterel Programs},
  booktitle = {International Workshop on Synchronous Languages, Applications and Programming (SLAP '05)},
  address = {Edinburgh},
  year = {2005},
  month = {April},
  pdf = {slap05.pdf},
}