BIBLIOGRAFÍA Y REFERENCIAS [ABE90] M. Abellanas y D. Lodares. Análisis de Algoritmos y Teoría de Grafos. RA-MA, 1990. [AHO74] A. Aho, J. Hopcrof y J. Ullman. The Design and Analysis of Computer Algorithms. Addison-Wesley, 1974. [AHO88] A. Aho, J. Hopcrof y J. Ullman. Estructuras de Datos y Algoritmos. Addison-Wesley, 1988. [AZM90] M. Azmoodeh. Abstract Data Types and Algorithms. Second Edition. MacMillan, 1990. [BAA88] S. Baase. Computer Algorithms: Introduction to Design and Analysis. Addison-Wesley, 1988. [BAR91] C. Barry. TopSpeed Modula-2. Addison-Wesley, 1991. [BEL68] M. Bellmore y G. Nemhauser. The Travelling Salesman Problem: a Survey. Operation Research, Vol. 16, nº3, 538–558, 1968. [BEN80a] J.L. Bentley. Multidimensional Divide and Conquer. Comms. of the ACM, Vol. 23, nº4, 214–229,1980. [BEN80b] J.L. Bentley. A General Method for Solving Divide and Conquer Recurrences. SIGACT News ACM, Vol. 12, nº3, 36–44, 1980. [BEN84] J.L. Bentley. Programming Pearls: Algorithm Design Techniques. Comms. of the ACM, Vol. 27, nº9, 865–871, 1984. [BEN89] J.L. Bentley. Programming Pearls. Addison-Wesley, 1989. [BIR77] R.S. Bird. Notes on Recursion Elimination. Comms. of the ACM, Vol. 20, nº 6, 434–439, 1977. [BRA97] G. Brassard y P. Bratley. Fundamentos de Algoritmia. Prentice Hall, 1997. [CHA76] L. Chang y J. Korsh. Canonical Coin Changing and Greedy Solutions. Journal of the ACM, Vol. 23, nº 3, 418–422, 1976. [COR89] T.H. Cormen, C.E. Leiserson y R.L. Rivest. Introduction to Algorithms. MIT Press, 1989. [FOR85] G. Ford y R. Wienes. Modula-2, A Software Development Approach. John Wiley & Sons, NewYork, 1985. [GAL93] J. Gálve, J.C. González, A. Sánchez y J.A. Velázquez. Algorítmica: Diseño y Análisis de Algoritmos Funcionales e Imperativos. RA-MA, 1993. [GAR79] M.R. Garey y D. Johnson. Computers and Intractability. W.H. Freeman and Company, New York, 1979. 316 [GON91] [GRI80] [GRI81] [GUE96] [HAR87] [HOR78] [JEN91] [JOY85] [KIN90] [KIN91] [KNU85] [KNU87] [MAN89] [MEH84] [MER85] [OLI93] [PAR95] [PEA84] [PEÑ97] [PIP78] [SED78] [SED88] [SED93] TÉCNICAS DE DISEÑO DE ALGORITMOS G.H. Gonnet y R. Baeza-Yates. Handbook of Algorithms and Data Structures. Second Edition. Addison-Wesley, 1991. D. Gries. A Note on the Standard Strategy for Developing Loop Invariants and Loops. Science of Computer Programming, nº 2, 207– 214, 1980. D. Gries. The Science of Programming. Springer-Verlag, 1981. R. Guerequeta. Técnicas de Diseño Greedy en la Exploración de Grafos. Informe Técnico LCC-ITD 96/1. Dpto. Lenguajes y Ciencias de la Computación, Universidad de Málaga, 1996. D. Harey. Algorithmics. The Spirit of Computing. Addison-Wesley, 1987. E. Horowitz y S. Sahni. Fundamentals of Computer Algorithms. Computer Science Press, 1978. Jensen & Partners International. TopSpeed Modula-2 Language and Library Reference. Jensen & Partners International, 1991. E.J. Joyce. Modula-2 A Seafarer’s Manual and Shipyard Guide. Addison-Wesley, 1985. J.H. Kingston. Algorithms and Data Structures. Desing, Correctnes, Analysis. Addison-Wesley, 1990. K.N. King. TopSpeed Modula-2. Language Tutorial. Jensen & Partners International, 1991. D.E. Knuth. El Arte de Programar Ordenadores. Algoritmos Fundamentales.Vol 1. Reverté, 1985. D.E. Knuth. El Arte de Programar Ordenadores. Clasificación y Búsqueda.Vol 3. Reverté, 1987. U. Manber. Introduction to Algorithms. Addison-Wesley, 1989. K. Melhorn. Data Structures and Algorithms: Vol I : Sorting and Searching. Vol II : Graph Algorithms and NP-Completeness. Springer Verlag, 1984. S. Merritt. An Inverted Taxonomy of Sorting Algorithms. Comms. of the ACM, Vol. 28, nº 1, 96–99, 1985. I. Oliver. Programming Classics. Implementing the World’s Best Algorithms. Prentice Hall, 1993. I. Parberry. Problems on Algorithms. Prentice Hall, 1995. J. Pearl. Heuristics: Intelligent Search Strategies for Computer Problem Solving. Adisson-Wesley, 1984. R. Peña. Diseño de Programas. Formalismo y Abstracción. Segunda Edición. Prentice Hall, 1997. N. Pippenger. Complexity theory. Scientific American, Vol. 238, nº 6, 14–124, 1978. R. Sedgewick. Implementing Quicksort Programs. Comms. of the ACM, Vol.21, nº 10, 1978. R. Sedgewick. Algorithms. Second edition. Addison-Wesley, 1988. R. Sedgewick. Algorithms in MODULA-3. Addison-Wesley, 1993. BIBLIOGRAFÍA Y REFERENCIAS [SED97] R. Sedgewick y P. Flajolet. An Introduction to Analysis of Algorithms. Addison-Wesley, 1997. [TAR87] R.E. Tarjan. Algorithm Design. Comms. of the ACM, Vol.30, nº 3, 205–212, 1987. [TOR92a] C. Torres. Diseño y Análisis de Algoritmos. Paraninfo, 1992. [TOR92b] C. Torres. Algoritmos. Problemas Resueltos y Comentados. Paraninfo, 1992. [TRA95] K. Traunmüller. The Checkers Problem. A Solution with Linear Time Complexity. ACM SIGPLAN Notices, Vol.30, nº. 9, 25–32, 1995. [TUC88] A.B. Tucker. Computer Science. A Second Course Using Modula-2. McGraw-Hill, 1988. [WEI92] M.A. Weiss. Data Structures and Algorithm Analysis. The Benjamin/Cummings Publishing Company Inc., 1992. [WEI95] M.A. Weiss. Estructuras de Datos y Algoritmos. Addison-Wesley, 1995. [WEI96] M.A. Weiss. Data Structures and Algorihm Analysis in C. AddisonWesley, 1996. [WIR82] N. Wirth. Programming in Modula-2. Fourth edition. Springer Verlag, 1982. [WIR87] N. Wirth. Algoritmos y Estructuras de Datos. Prentice Hall, 1987. 317