Donald knuth

Compartir Imprimir Citar

Donald Ervin Knuth (kə-NOOTH; nacido el 10 de enero de 1938) es un informático, matemático y profesor emérito estadounidense de la Universidad de Stanford. Recibió en 1974 el Premio ACM Turing, informalmente considerado el Premio Nobel de informática. Knuth ha sido llamado el "padre del análisis de algoritmos".

Es autor de la obra de varios volúmenes El arte de la programación informática y contribuyó al desarrollo del análisis riguroso de la complejidad computacional de los algoritmos y sistematizó las técnicas matemáticas formales para ello. En el proceso, también popularizó la notación asintótica. Además de las contribuciones fundamentales en varias ramas de la informática teórica, Knuth es el creador del sistema de composición tipográfica por computadora TeX, el lenguaje de definición de fuentes y el sistema de representación relacionados METAFONT, y la familia de tipos de letra Computer Modern.

Como escritor y académico, Knuth creó los sistemas de programación informática WEB y CWEB diseñados para fomentar y facilitar la programación alfabetizada, y diseñó las arquitecturas de conjunto de instrucciones MIX/MMIX. Knuth se opone enérgicamente a la concesión de patentes de software y ha expresado su opinión a la Oficina de Patentes y Marcas de los Estados Unidos ya la Organización Europea de Patentes.

Biografía

Primeros años

Knuth nació en Milwaukee, Wisconsin, hijo de Ervin Henry Knuth y Louise Marie Bohning. Él describe su herencia como "Alemán luterano del medio oeste". Su padre era dueño de una pequeña imprenta y enseñaba contabilidad. Donald, un estudiante de la Escuela Secundaria Luterana de Milwaukee, pensó en formas ingeniosas de resolver problemas. Por ejemplo, en octavo grado, participó en un concurso para encontrar el número de palabras que las letras en "Ziegler's Giant Bar" podría reorganizarse para crear; los jueces habían identificado 2.500 de esas palabras. Con el tiempo ganado fuera de la escuela debido a un dolor de estómago fingido, y resolviendo el problema de otra manera, Knuth usó un diccionario completo y determinó si cada entrada del diccionario se podía formar usando las letras de la frase. Con este algoritmo, identificó más de 4500 palabras y ganó el concurso. Como premios, la escuela recibió un televisor nuevo y suficientes barras de chocolate para que comieran todos sus compañeros.

Educación

Knuth recibió una beca en física para el Instituto de Tecnología Case (ahora parte de la Universidad Case Western Reserve) en Cleveland, Ohio, y se inscribió en 1956. También se unió al Capítulo Beta Nu de la fraternidad Theta Chi. Mientras estudiaba física en Case, Knuth conoció la IBM 650, una de las primeras computadoras comerciales. Después de leer el manual de la computadora, Knuth decidió reescribir el código ensamblador y compilador de la máquina utilizada en su escuela, porque creía que podía hacerlo mejor.

En 1958, Knuth creó un programa para ayudar al equipo de baloncesto de su escuela a ganar sus partidos. Asignó "valores" a los jugadores para medir su probabilidad de obtener puntos, un enfoque novedoso que Newsweek y CBS Evening News informaron más tarde.

Knuth fue uno de los editores fundadores de Engineering and Science Review del Case Institute, que ganó un premio nacional como mejor revista técnica en 1959. Luego pasó de la física a las matemáticas y recibió dos títulos de Case en 1960: su licenciatura en ciencias y, simultáneamente, una maestría en ciencias por un premio especial de la facultad, que consideró su trabajo excepcionalmente sobresaliente.

En 1963, con el matemático Marshall Hall como su asesor, obtuvo un doctorado en matemáticas del Instituto de Tecnología de California con una tesis titulada Finite Semifields and Projective Planes.

Trabajo temprano

Después de recibir su doctorado, Knuth se unió a la facultad de Caltech como profesor asistente.

Aceptó un encargo para escribir un libro sobre compiladores de lenguajes de programación informática. Mientras trabajaba en este proyecto, Knuth decidió que no podía tratar adecuadamente el tema sin desarrollar primero una teoría fundamental de la programación informática, que se convirtió en El arte de la programación informática. Originalmente planeó publicar esto como un solo libro. Cuando Knuth desarrolló su esquema para el libro, concluyó que necesitaba seis volúmenes, y luego siete, para cubrir completamente el tema. Publicó el primer volumen en 1968.

Justo antes de publicar el primer volumen de El arte de la programación informática, Knuth dejó Caltech para aceptar un empleo en el Institute for Defense Analyses' División de Investigación de Comunicaciones, entonces ubicada en el campus de la Universidad de Princeton, que realizaba investigaciones matemáticas en criptografía para apoyar a la Agencia de Seguridad Nacional.

En 1967, Knuth asistió a una conferencia de la Sociedad de Matemáticas Industriales y Aplicadas y alguien le preguntó a qué se dedicaba. En ese momento, la informática se dividía en análisis numérico, inteligencia artificial y lenguajes de programación. Basándose en su estudio y en el libro El arte de la programación informática, Knuth decidió que la próxima vez que alguien le preguntara, diría "Análisis de algoritmos".

Knuth luego dejó su puesto para unirse a la facultad de la Universidad de Stanford en 1969, donde ahora es profesor emérito de ciencias de la computación Fletcher Jones.

Escritos

Knuth es escritor, además de informático.

El arte de la programación informática (TAOCP)

"La mejor manera de comunicarse de un ser humano a otro es a través de la historia."

—Donald Knuth

En la década de 1970, Knuth describió la informática como "un campo totalmente nuevo sin identidad real". Y el nivel de publicaciones disponibles no era tan alto. Muchos de los artículos que salieron estaban simplemente equivocados.... Entonces, una de mis motivaciones fue aclarar una historia que había sido muy mal contada."

De 1972 a 1973, Knuth pasó un año en la Universidad de Oslo entre personas como Ole-Johan Dahl. Aquí es donde originalmente tenía la intención de escribir el séptimo volumen de su serie de libros, un volumen que trataría de los lenguajes de programación. Sin embargo, Knuth solo había terminado los dos primeros volúmenes cuando llegó a Oslo y, por lo tanto, pasó el año en el tercer volumen, además de enseñar. El tercer volumen de la serie salió justo después de que Knuth regresara a Stanford en 1973.

Para 2011, se había publicado el Volumen 4A. Concrete Mathematics: A Foundation for Computer Science 2nd ed., que se originó con una expansión de la sección de preliminares matemáticos del Volumen 1 de TAoCP, también se ha publicado. En abril de 2020, Knuth dijo que anticipa que el Volumen 4 tendrá al menos las partes A a F. El Volumen 4B se publicó en octubre de 2022.

Otros trabajos

Knuth también es el autor de Surreal Numbers, una novela matemática sobre la construcción de la teoría de conjuntos de John Conway de un sistema alternativo de números. En lugar de simplemente explicar el tema, el libro busca mostrar el desarrollo de las matemáticas. Knuth quería que el libro preparara a los estudiantes para realizar investigaciones originales y creativas.

En 1995, Knuth escribió el prólogo del libro A=B de Marko Petkovšek, Herbert Wilf y Doron Zeilberger. Knuth también contribuye ocasionalmente con acertijos lingüísticos en Word Ways: The Journal of Recreational Linguistics.

Knuth también ha profundizado en las matemáticas recreativas. Contribuyó con artículos al Journal of Recreational Mathematics a partir de la década de 1960, y fue reconocido como uno de los principales contribuyentes en Mathematics on Vacation de Joseph Madachy.

Knuth también ha aparecido en una serie de videos de Numberphile y Computerphile en YouTube, donde ha abordado temas que van desde escribir Números surrealistas hasta por qué no usa el correo electrónico.

Obras relacionadas con sus creencias religiosas

Además de sus escritos sobre informática, Knuth, un luterano, también es autor de 3:16 Bible Texts Illuminated, en el que examina la Biblia mediante un proceso de muestreo sistemático, a saber un análisis del capítulo 3, versículo 16 de cada libro. Cada verso va acompañado de una interpretación en arte caligráfico, aportada por un grupo de calígrafos bajo la dirección de Hermann Zapf. Posteriormente, fue invitado a dar una serie de conferencias en el MIT sobre sus puntos de vista sobre la religión y la informática detrás de su proyecto 3:16, lo que resultó en otro libro, Cosas de las que rara vez habla un científico informático, donde publicó las conferencias "Dios y la informática".

Opinión sobre patentes de software

Knuth se opone firmemente a la política de otorgar patentes de software para soluciones triviales que deberían ser obvias, pero ha expresado puntos de vista más matizados para soluciones no triviales, como el método del punto interior de la programación lineal. Ha expresado su desacuerdo directamente tanto a la Oficina de Marcas y Patentes de los Estados Unidos como a la Organización Europea de Patentes.

Reflexiones sobre la computadora

Knuth da conferencias informales varias veces al año en la Universidad de Stanford, que tituló "Reflexiones sobre la computadora". Fue profesor invitado en el Departamento de Ciencias de la Computación de la Universidad de Oxford en el Reino Unido hasta 2017 y miembro honorario de Magdalen College.

Programación

Composición tipográfica digital

En la década de 1970, los editores de TAOCP abandonaron Monotype en favor de la fotocomposición. Knuth se frustró tanto con la incapacidad del último sistema para acercarse a la calidad de los volúmenes anteriores, que se escribieron con el sistema anterior, que se tomó un tiempo para trabajar en la composición digital y creó TeX y Metafont.

Programación alfabetizada

Mientras desarrollaba TeX, Knuth creó una nueva metodología de programación, a la que llamó programación alfabetizada, porque creía que los programadores deberían pensar en los programas como obras literarias. "En lugar de imaginar que nuestra tarea principal es instruir a una computadora qué hacer, concentrémonos más bien en explicar a los seres humanos lo que queremos que haga una computadora."

Knuth incorporó la idea de la programación alfabetizada en el sistema WEB. La misma fuente WEB se usa para tejer un archivo TeX y para enredar un archivo fuente Pascal. Estos, a su vez, producen una descripción legible del programa y un binario ejecutable, respectivamente. Una iteración posterior del sistema, CWEB, reemplaza a Pascal con C.

Knuth usó WEB para programar TeX y METAFONT, y publicó ambos programas como libros: TeX: The Program, que se publicó originalmente en 1986, y METAFONT: The Program, que se publicó originalmente en 1986. Casi al mismo tiempo, LaTeX, el paquete de macros ahora ampliamente adoptado basado en TeX, fue desarrollado por primera vez por Leslie Lamport, quien luego publicó su primer manual de usuario en 1986.

Música

Knuth es organista y compositor. En 2016 completó una pieza musical para órgano titulada Fantasia Apocalyptica, que describe como "traducción del texto griego de la Revelación de San Juan el Divino a la música". Se estrenó en Suecia el 10 de enero de 2018.

Vida privada

Donald Knuth se casó con Nancy Jill Carter el 24 de junio de 1961, cuando era estudiante de posgrado en el Instituto de Tecnología de California. Tienen dos hijos: John Martin Knuth y Jennifer Sierra Knuth.

Nombre chino

El nombre chino de Knuth es Gao Dena (chino simplificado: 高德纳; chino tradicional: 高德 納; pinyin: Gāo Dénà). En 1977, Frances Yao le dio este nombre, poco antes de realizar un viaje de 3 semanas a China. En la traducción al chino de 1980 del volumen 1 de El arte de la programación informática (chino simplificado: 电脑程序设计艺术; chino tradicional: 電腦程式設計藝術; pinyin: Jìsuànjī chéngxù shèjì yìshù), Knuth explica que adoptó su nombre chino porque quería ser conocido por el creciente número de programadores informáticos en China en ese momento. En 1989, su nombre chino se colocó en la parte superior del Journal of Computer Science and Technology's encabezado, que Knuth dice "me hace sentir cercano a todos los chinos aunque no puedo hablar su idioma".

Problemas de salud

En 2006, a Knuth le diagnosticaron cáncer de próstata. Se sometió a una cirugía en diciembre de ese año y dijo: 'un poco de radioterapia... como precaución, pero el pronóstico parece bastante bueno', como informó en su autobiografía en video.

Humor

Uno de los cheques de recompensa de Knuth

Knuth solía pagar una tarifa de búsqueda de 2,56 USD por cualquier error tipográfico o errores descubiertos en sus libros, porque "256 centavos es un dólar hexadecimal" y 0,32 USD por "valioso sugerencias". Según un artículo de Technology Review del Instituto Tecnológico de Massachusetts, estos cheques de recompensa de Knuth se encuentran entre los "trofeos más preciados de la informática". Knuth tuvo que dejar de enviar cheques reales en 2008 debido a un fraude bancario y, en cambio, ahora entrega a cada buscador de errores un "certificado de depósito" de un saldo que cotiza en bolsa en su "Bank of San Seriffe" ficticio.

Una vez advirtió a un corresponsal: "Cuidado con los errores en el código anterior; Solo he probado que es correcto, no lo he probado."

Knuth publicó su primer artículo "científico" artículo en una revista escolar en 1957 bajo el título "El Sistema Potrzebie de Pesos y Medidas". En él, definió la unidad fundamental de longitud como el espesor de Mad No. 26, y denominó a la unidad fundamental de fuerza "whatmeworry". Mad publicó el artículo en el número 33 (junio de 1957).

Para demostrar el concepto de recursividad, Knuth se refirió intencionalmente a la "definición circular" y "Definición, circular" entre sí en el índice de El arte de la programación informática, Volumen 1.

El prefacio de Matemáticas Concretas tiene el siguiente párrafo:

Cuando DEK enseñó Matemáticas Concretas en Stanford por primera vez, explicó el título algo extraño diciendo que era su intento de enseñar un curso de matemáticas que era difícil en lugar de suave. Anunció que, contrariamente a las expectativas de sus colegas, estaba no va a enseñar la Teoría de Aggregates, ni el Teorema de Embedding de Piedra, ni siquiera la compactación de Piedra-Cech. (Los estudiantes del departamento de ingeniería civil se levantaron y dejaron silenciosamente la habitación.)

En la conferencia TUG 2010, Knuth anunció un sucesor satírico de TeX basado en XML, titulado "iTeX" (pronunciado [iː˨˩˦tɛks˧˥], realizado con el sonido de una campana), que admitiría funciones como unidades irracionales escaladas arbitrariamente, impresión 3D, entrada de sismógrafos y monitores cardíacos, animación y sonido estereofónico.

Premios y distinciones

En 1971, Knuth recibió el primer premio ACM Grace Murray Hopper. Ha recibido varios otros premios, incluido el Premio Turing, la Medalla Nacional de Ciencias, la Medalla John von Neumann y el Premio Kyoto.

Knuth fue elegido miembro distinguido de la British Computer Society (DFBCS) en 1980 en reconocimiento a las contribuciones de Knuth al campo de la informática.

En 1990 se le otorgó el título académico único en su tipo de Profesor del Arte de la Programación de Computadoras, que desde entonces ha sido revisado a Profesor Emérito del Arte de la Computación Programación.

Knuth fue elegido miembro de la Academia Nacional de Ciencias en 1975. También fue elegido miembro de la Academia Nacional de Ingeniería en 1981 por organizar vastas áreas temáticas de informática para que fueran accesibles a todos los segmentos de la comunidad informática. En 1992, se convirtió en asociado de la Academia de Ciencias de Francia. También ese año, se retiró de la investigación y la docencia habituales en la Universidad de Stanford para terminar El arte de la programación informática. Fue elegido miembro extranjero de la Royal Society (ForMemRS) en 2003.

Knuth fue elegido miembro (primera clase de miembros) de la Society for Industrial and Applied Mathematics en 2009 por sus destacadas contribuciones a las matemáticas. Es miembro de la Academia Noruega de Ciencias y Letras. En 2012, se convirtió en miembro de la American Mathematical Society y miembro de la American Philosophical Society. Otros premios y honores incluyen:

  • First ACM Premio Grace Murray Hopper, 1971
  • Premio Turing, 1974
  • Premio Lester R. Ford, 1975 y 1993
  • Josiah Willard Gibbs Profesor, 1978
  • National Medal of Science, 1979
  • Premio Golden Plate de la American Academy of Achievement, 1985
  • Franklin Medal, 1988
  • John von Neumann Medalla, 1995
  • Premio Harvey del Tecnión, 1995
  • Kyoto Prize, 1996
  • Fellow of the Computer History Museum "for his fundamental early work in the history of computing algoritmos, development of the TeX typesetting language, and for major contributions to mathematics and computer science." 1998
  • Asteroid 21656 Knuth, nombrado en su honor en mayo de 2001
  • Premio Katayanagi, 2010
  • Premio Fundación BBVA Frontiers of Knowledge en la categoría Tecnologías de la Información y las Comunicaciones, 2010
  • Conferencia de Turing, 2011
  • Premio Stanford University School of Engineering Hero, 2011
  • Premio de Conferencia Flajolet, 2014

Publicaciones

Una breve lista de sus publicaciones incluye:

El arte de la programación informática:

  1. (1997). El arte de la programación informática. Vol. 1: Algoritmos fundamentales (3a edición). Addison-Wesley Professional. ISBN 978-0-201-89683-1.
  2. (1997). El arte de la programación informática. Vol. 2: Algoritmos semiméritos (3rd ed.). Addison-Wesley Professional. ISBN 978-0-201-89684-8.
  3. ———— (1998). El arte de la programación informática. Vol. 3: Clasificación y búsqueda (2a edición). Addison-Wesley Professional. ISBN 978-0-201-89685-5.
  4. ——— (2011). El arte de la programación informática. Vol. 4A: Algoritmos combinados, parte 1. Addison-Wesley Professional. ISBN 978-0-201-03804-0.
  5. ——— (2022). El arte de la programación informática. Vol. 4B: Algoritmos combinados, parte 2. Addison-Wesley Professional. ISBN 978-0-201-03806-4.
  6. ——— (2005). MMIX—Un ordenador de RISC para el nuevo milenio. Vol. 1, Fascicle 1. ISBN 978-0-201-85392-6.
  7. ——— (2008). El arte de la programación informática. Vol. 4, Fascicle 0: Introducción a los Algoritmos Combinados y Funciones Booleanas. ISBN 978-0-321-53496-5.
  8. (2009). El arte de la programación informática. Vol. 4, Fascicle 1: Tricks Bitwise & Techniques, Binary Decision Diagrams. ISBN 978-0-321-58050-4.
  9. ——— (2005). El arte de la programación informática. Vol. 4, Fascicle 2: Generando todos los Tuplas y Permutaciones. ISBN 978-0-201-85393-3.
  10. ——— (2005). El arte de la programación informática. Vol. 4, Fascículo 3: Generando todas las Combinaciones y Particiones. ISBN 978-0-201-85394-0.
  11. ——— (2006). El arte de la programación informática. Vol. 4, Fascículo 4: Generando todos los árboles -Historia de la Generación Combinada. ISBN 978-0-321-33570-8.
  12. ———— (2018). El arte de la programación informática. Vol. 4, Fascicle 5: Mathematical Preliminaries Redux, Backtracking, Dancing Links. ISBN 978-0-134-67179-6.
  13. ———— (2015). El arte de la programación informáticaVol. 4, Fascículo 6: Satisfiabilidad. ISBN 978-0-134-39760-3.

Computadoras y composición tipográfica (todos los libros son de tapa dura a menos que se indique lo contrario):

  1. ——— (1984). Computadoras " Tiposetting. Vol. A, The TeXbook. Reading, MA: Addison-Wesley. ISBN 978-0-201-13447-6., x+483pp.
  2. ——— (1984). Computadoras. Vol. A, The TeXbook. Reading, MA: Addison-Wesley. ISBN 978-0-201-13448-3. (descubrimiento).
  3. ——— (1986). Computadoras. Vol. B, TeX: El programa. Reading, MA: Addison-Wesley. ISBN 978-0-201-13437-7., xviii+600pp.
  4. ——— (1986). Computadoras. Vol. C, el METAFONTbook. Reading, MA: Addison-Wesley. ISBN 978-0-201-13445-2., xii+361pp.
  5. ——— (1986). Computadoras " Tiposetting. Vol. C, el METAFONTbook. Reading, MA: Addison-Wesley. ISBN 978-0-201-13444-5. (descubrimiento).
  6. ——— (1986). Computadoras " Tiposetting. Vol. D, El programa. Reading, MA: Addison-Wesley. ISBN 978-0-201-13438-4., xviii+566pp.
  7. ——— (1986). Computadoras " Tiposetting. Vol. E, Computador Modern Tipofaces. Reading, MA: Addison-Wesley. ISBN 978-0-201-13446-9., xvi+588pp.
  8. ——— (2000). Computadoras " Tiposetting. Vol. A-E Boxed Set. Reading, MA: Addison-Wesley. ISBN 978-0-201-73416-4.

Libros de artículos recopilados:

  1. ——— (1992). Literate Programming. Notas de conferencia. Stanford, CA: Center for the Study of Language and Information—CSLI. ISBN 978-0-937073-80-3.
  2. (1996). Documentos seleccionados en Ciencias de la Computación. Notas de conferencia. Stanford, CA: Center for the Study of Language and Information—CSLI. ISBN 978-1-881526-91-9.
  3. (1999). Tipografía digital. Notas de conferencia. Stanford, CA: Center for the Study of Language and Information—CSLI. ISBN 978-1-57586-010-7.
  4. ——— (2000). Documentos seleccionados sobre el análisis de algoritmos. Notas de conferencia. Stanford, CA: Center for the Study of Language and Information—CSLI. ISBN 978-1-57586-212-5.
  5. ———— (2003). Documentos seleccionados en idiomas informáticos. Notas de conferencia. Stanford, CA: Center for the Study of Language and Information—CSLI. ISBN 978-1-57586-381-8., ISBN 1-57586-382-0 (papelback)
  6. ———— (2003). Documentos seleccionados sobre las matemáticas discretas. Notas de conferencia. Stanford, CA: Center for the Study of Language and Information—CSLI. ISBN 978-1-57586-249-1., ISBN 1-57586-248-4 (papel trasero)
  7. Donald E. Knuth, Selected Papers on Design of Algorithms (Stanford, California: Center for the Study of Language and Information—CSLI Lecture Notes, no. 191), 2010. ISBN 1-57586-583-1 (cloth), ISBN 1-57586-582-3 (paperback)
  8. Donald E. Knuth, Selected Papers on Fun and Games (Stanford, California: Center for the Study of Language and Information—CSLI Lecture Notes, no. 192), 2011. ISBN 978-1-57586-585-0 (cloth), ISBN 978-1-57586-584-3 (paperback)
  9. Donald E. Knuth, Companion to the Papers of Donald Knuth (Stanford, California: Center for the Study of Language and Information—CSLI Lecture Notes, no. 202), 2011. ISBN 978-1-57586-635-2 (cloth), ISBN 978-1-57586-634-5 (paperback)

Otros libros:

  1. Graham, Ronald L; Knuth, Donald E.; Patashnik, Oren (1994). Matemáticas concretas: Una fundación para la informática (Second ed.). Lectura, Addison-Wesley. ISBN 978-0-201-55802-9. MR 1397498. xiv+657 pp.
  2. Knuth, Donald Ervin (1974). Números reales: cómo dos ex estudiantes se convirtieron en matemáticas puras y encontraron felicidad total: una novela matemática. Addison-Wesley. ISBN 978-0-201-03812-5.
  3. Donald E. Knuth, The Stanford GraphBase: A Platform for Combinatorial Computing (Nueva York, ACM Press) 1993. segunda impresión de papelback 2009. ISBN 0-321-60632-9
  4. Donald E. Knuth, 3:16 Textos Bíblicos Iluminados (Madison, Wisconsin: A-R Editions), 1990. ISBN 0-89579-252-4
  5. Donald E. Knuth, Cosas que un científico informático habla raramente sobre (Centro para el Estudio de la Lengua y la Información—CSLI Conferencia Notas no 136), 2001. ISBN 1-57586-326-X
  6. Donald E. Knuth, MMI Xware: Computadora RISC para el Tercer Milenio (Heidelberg: Springer-Verlag – Notas de Conferencias en Ciencias de la Computación, no 1750), 1999. ISBN 978-3-540-66938-8
  7. Donald E. Knuth y Silvio Levy, The CWEB System of Structured Documentation (Reading, Massachusetts: Addison-Wesley), 1993. iv+227pp. ISBN 0-201-57569-8. Tercera impresión 2001 con soporte de hipertexto, ii + 237 pp.
  8. Donald E. Knuth, Tracy L. Larrabee, y Paul M. Roberts, Mathematical Write (Washington, D.C.: Mathematical Association of America), 1989. ii+115pp ISBN 978-0883850633
  9. Daniel H. Greene y Donald E. Knuth, Matemáticas para el Análisis de Algoritmos (Boston: Birkhäuser), 1990. viii+132pp. ISBN 978-0817647285
  10. Donald E. Knuth, Mariages Stables: et leurs relations avec d'autres problèmes combinatoires (Montréal: Les Presses de l'Université de Montréal)106pp. ISBN 978-0840503428
  11. Donald E. Knuth, Matrimonio estable y su relación con otros problemas combinados: una introducción al análisis matemático de los algoritmos. ISBN 978-0821806036
  12. Donald E. Knuth, Axioms y Hulls (Heidelberg: Springer-Verlag—Lecture Notas en Ciencias de la Computación, No 606), 1992. ix+109pp. ISBN 3-540-55611-7