@InProceedings{birkedal08sortings,
  author = 	 {Lars Birkedal and S\o ren Debois and Thomas Hildebrandt}
  title =        {On the Construction of Sorted Reactive Systems},
  booktitle =    {CONCUR `08: Proceedings of the 19th International Conference
                  on Concurrency Theory},
  pages =	 {218--232},
  year =	 {2008},
  volume =	 {5201},
  series = 	 {Lecture Notes in Computer Science},
  publisher =	 {Springer-Verlag}
}