@incollection{Almeida_2009,
    doi = {10.1007/978-3-642-02979-0_10},
    url = {https://doi.org/10.1007%2F978-3-642-02979-0_10},
    year = {2009},
    publisher = {Springer Berlin Heidelberg},
    pages = {65--74},
    author = {Andr{\'{e}} Almeida and Marco Almeida and Jos{\'{e}} Alves and Nelma Moreira and Rog{\'{e}}rio Reis},
    title = {{FAdo} and {GUItar}: Tools for Automata Manipulation and Visualization},
    booktitle = {Implementation and Application of Automata}
}

@incollection{Almeida_2009, doi = {10.1007/978-3-642-02979-0_10}, url = {https://doi.org/10.1007%2F978-3-642-02979-0_10}, year = {2009}, publisher = {Springer Berlin Heidelberg}, pages = {65--74}, author = {Andr{\'{e}} Almeida and Marco Almeida and Jos{\'{e}} Alves and Nelma Moreira and Rog{\'{e}}rio Reis}, title = {{FAdo} and {GUItar}: Tools for Automata Manipulation and Visualization}, booktitle = {Implementation and Application of Automata} }