@InProceedings{2010_maggi_buffer_machine,
  author =       {Federico Maggi},
  title =        {{A Recognizer of Rational Trace Languages}},
  booktitle =    {The 10th IEE International Conference on Computer
                  and Information Technology (CIT-2010)},
  pages =        {(to appear)},
  year =         2010,
  publisher =    {IEEE Computer Society Proceedings}
}