Apontadores

Bibliografia

  • Mike Gordon, Specification and Verification I, Lecture notes, Cambridge University.
  • Kurt Mehlorn and Peter Sanders . Algorithms and Data Structures The Basic Toolbox, Springer ISBN 978-3-540-77977-3
  • Brian Kerninghan, The Practice of Programming, Addison Wesley, ISBN 0-201-61586-X
  • Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest, and Clifford Stein. Introduction to Algorithms. MIT Press, Cambridge,Mass., second edition, 2001.
  • Robert L. Kruse, Bruce P. Leung, and Clovis L. Tondo. Data Structures and Program Design in C. Prentice Hall, second edition, 1997.
  • Herbert Wilf, Algorithms and Complexity, University of Pennsylvania
  • Donald E. Knuth. The Art of Computer Programming : (1) Fundamental Algorithms, (2) Seminumerical Algorithms, (3) Sorting and Searching. Addison/Wesley, third edition, 1997/98. 3 volumes.