@INPROCEEDINGS{bgmp15,
  author = {F. Baschenis and O. Gauwin and A. Muscholl and G. Puppis},
  title = {One-way definability of sweeping transducers},
  booktitle = {Proceedings of the 35th {IARCS} Conference on 
               Foundations of Software Technology and 
               Theoretical Computer Science (FSTTCS)},
  year = {2015},
  volume = {45},
  pages = {178-191},
  series = {Leibniz International Proceedings in Informatics (LIPIcs)},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik}
}