refs.bib

% Algorithms
@Book{Goodrich2014,
     author = {Goodrich, Michael and Tamassia, Roberto and Goldwasser, Michael},
     title = {Data structures and algorithms in Java},
     publisher = {Wiley},
     year = {2014},
     edition= {6},
     address = {Hoboken, NJ},
 }

@book{Cormen2009,
    Author = {Thomas H. Cormen},
    title = {Introduction to Algorithms},
    publisher = {The MIT Press},
    edition ={3},
    year = {2009},
    month = {jul},
}

@book{Garey1979,
    author={Garey, Michael and Johnson, David},
    year={1979},
    title={Computers and Intractability: A Guide to the Theory of NP-Completeness},
    publisher={W. H. Freeman and Company},
    address={New York}    
}

@inproceedings{Cook1971,
    author = {Cook, Stephen A.},
    title = {The Complexity of Theorem-proving Procedures},
    booktitle = {Proceedings of the Third Annual ACM Symposium on Theory of Computing},
    year = {1971},
    pages = {151--158},
    publisher = {ACM},
    address = {New York, NY, USA},
} 

@incollection{Karp1972,
    doi = {10.1007/978-1-4684-2001-2_9},
    url = {https://doi.org/10.1007/978-1-4684-2001-2_9},
    year  = {1972},
    publisher = {Springer {US}},
    pages = {85--103},
    author = {Richard M. Karp},
    title = {Reducibility among Combinatorial Problems},
    booktitle = {Complexity of Computer Computations}
}

@article{Hartmanis1965,
    year  = {1965},
    publisher = {American Mathematical Society ({AMS})},
    volume = {117},
    pages = {285--285},
    author = {J. Hartmanis and R. E. Stearns},
    title = {On the computational complexity of algorithms},
    journal = {Transactions of the American Mathematical Society}
}

@Book{Matiyasevich1993,
    author = {Yuri Matiyasevich},
    title = {Hilbert's tenth problem},
    publisher = {MIT Press},
    year = {1993},
    address = {Cambridge, Mass},
    isbn = {978-0262132954}
}

@book{Kleinberg2005,
    Author = {Jon Kleinberg and Eva Tardos},
    title = {Algorithm Design},
    description = {Algorithm Design},
    publisher = {Pearson},
    year = {2005},
    isbn = {9780321295354},
}

% Languages
@Book{Koffman2008,
    author = {Koffman, Elliot},
    title = {Objetos, abstracao, estruturas de dados e projeto usando C},
    publisher = {LTC},
    year = {2008},
    address = {Rio de Janeiro},
    isbn = {9788521616047}
}

@Book{King2008,
    author = {King, K. N.},
    title = {C Programming : A Modern Approach},
    publisher = {W.W. Norton \& Co},
    year = {2008},
    address = {New York},
    edition= {2},
    isbn = {978-0393979503}
 }

% Theory
@book{Menezes2011,
    Author = {Paulo B. Menezes},
    title = {Linguagens Formais e Autômatos},
    edition = {3},
    publisher = {Bookman},
    year = {2011}
}

@book{Diverio2011,
    Author = {Tiaraju A. Diverio and Paulo B. Menezes},
    Title = {Teoria da Computação. Máquinas Universais e Computabilidade},
    Publisher = {Bookman},
    Year = {2011},
    edition = {3},
}

@book{Hopcroft2002,
    Author = {John E. Hopcroft and Rajeev Motwani and  Jeffrey D. Ullman },
    Title = {Introdução à Teoria De Autômatos, Linguagens E Computação},
    Publisher = {Elsevier},
    Year = {2002},
    edition = {1},
}

@book{Sipser2012,
    Author = {Michael Sipser},
    title = {Introduction to the Theory of Computation},
    edition = {3},
    publisher = {Cengage Learning},
    year = {2012},
}

% Functional Programming
@book{Hutton2016,
    Author = {Graham Hutton},
    title = {Programming in Haskell},
    description = {Programming in Haskell (Book, 2016)},
    publisher = {Cambridge University Press},
    year = {2016},
    month = {sep},
}

@Book{Bird2015,
    author = {Bird, Richard},
    title = {Thinking Functionally with Haskell},
    publisher = {Cambridge University Press},
    year = {2015},
    address = {Cambridge, United Kingdom},
    isbn = {978-1107452640}
}
 
@Book{Doets2004,
    author = {Doets, Kees and Eijck, Jan v.},
    title = {The Haskell Road to Logic, Maths and Programming},
    publisher = {King's College Publications},
    year = {2004},
    address = {London},
    isbn = {978-0954300692}
}