Referências

[1]

Adele Goldberg, David Robinson. Smalltalk-80: The Language. Addison-Weslay, 1989.

[2]

Andrew Tanenbaum. Organização Estruturada de Computadores. LTC (tradução), 2001.

[3]

Ângelo Guimarães, Newton Lages. Algoritmos e Estruturas de Dados. Ltc Editora, 1988.

[4]

Brian Kernighan, Dennis Ritchie. The C Programming Language. Prentice Hall, 1988.

[5]

Bryan O’Sullivan, Don Stewart, John Goerzen. Real World Haskell. O’Reilly, 2008.

[6]

Cordelia Hall, John O’Donnell. Discrete Mathematics Using a Computer. Springer, 2000.

[7]

David Patterson, John Hennessy. Computer Organization and Design: The Hardware Sofwtare Interface. Morgan Kaufmann, 2^a edition, 2002.

[8]

Edsger Dijkstra. A Discipline of Programming. Prentice Hall, 1976.

[9]

Fethi Rabhi and Guy Lapalme. Algorithms: A functional programming approach. Addison-Wesley, 1999.

[10]

James Gosling et al. The Java Language Specification. Addison-Wesley, 2^a edition, 2000.

[11]

J. Ichbiah. Rationale for the design of the Ada programming language. ACM SigPlan Notices, 14(6B), 1979.

[12]

Kathleen Jensen, Nicklaus Wirth. Pascal User Manual and Report. Springer-Verlag, 1991 (edições anteriores: 1974, 1985).

[13]

Keith Devlin. Mathematics: The New Golden Age. Penguin Books & Columbia University Press, 1999.

[14]

Leon Sterling, Ehud Shapiro. The Art of Prolog. The MIT Press, 1994.

[15]

Anany Levitin. Introduction to the Design and Analysis of Algorithms (3^a edição). Addison-Wesley, 2011.

[16]

Bertrand Meyer. Eiffel: the Language. Prentice Hall, 1992.

[17]

Nicklaus Wirth. Algorithms + Data Structures = Programs. Prentice Hall, 1976.

[18]

Niklaus Wirth. Programming in Modula-2. Springer-Verlag, 1985.

[19]

Nivio Ziviani. Projeto de Algoritmos com Implementações em Pascal e C. Pioneira Thomson, 2004.

[20]

Ole-Johen Dahl, Björn Myrhaug, Kristen Nygaard. Simula — an Algol-based Simulation Language. Communications of the ACM, 9(9):671–678, 1966.

[21]

Lawrence Paulson. ML for the Working Programmer. Cambridge University Press, 1996. Second edition.

[22]

Robert Sedgewick and Kevin Wayne. Algorithms in C: Parts 1-4: Fundamentals, Data Structures, Sorting, Searching. Addison-Wesley, 3^a edition, 1998.

[23]

Roger Penrose. The Emperor’s New Mind: Concerning Computers, Minds and The Laws of Physics. Oxford University Press, 1989.

[24]

Samuel Harbison. Modula-3. Prentice Hall, 1992.

[25]

Michael Sipser. Introduction to the Theory of Computation. PWS Publishing Company, 1997.

[26]

Bjarne Stroustrup. The C++ Programming Language. Addison-Wesley, 3^a edition, 1991.

[27]

T. H. Cormen and others. Introduction to Algorithms. MIT Press, 2001.

[28]

Simon Thompson. Haskell: The Craft of Functional Programming. Addison-Wesley, 2^a edition, 1999.

[29]

Ulf Nilsson, Jan Maluszynski. Logic Programming and Prolog. John Wiley & Sons, 2^a edition, 1995.

[30]

Daniel Velleman. How to Prove It: A Structured Approach. Cambridge University Press, 2^a edition, 2006.

[31]

William Stallings. Arquitetura e Organização de Computadores: Projeto para o Desempenho. Pearson Education do Brasil (tradução), 5^a edition, 2002.