F
[FS00] Alain Finkel and Grégoire Sutre. Decidability of Reachability Problems for Classes of Two-Counter Automata. In STACS'00, Lecture Notes in Computer Science 1770, pages 346-357. Springer-Verlag, March 2000. 
@inproceedings{stacs2000-FS,
  author =              {Finkel, Alain and Sutre, Gr{\'e}goire},
  title =               {Decidability of Reachability Problems for Classes of
                         Two-Counter Automata},
  editor =              {Reichel, Horst and Tison, Sophie},
  booktitle =           {{P}roceedings of the 17th {S}ymposium on
                         {T}heoretical {A}spects of {C}omputer {S}cience
                         ({STACS}'00)},
  acronym =             {{STACS}'00},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {1770},
  pages =               {346-357},
  year =                {2000},
  month =               mar,
}
List of authors