Síntesis de programación lógica : los tratamientos y sus datos
. Warnier, Jean-Dominique (1920-1990). 1.ed. española tr. del francés. Barcelona: Editores Técnicos Asociados, [s.f.]. U.I.: Bca. Leopoldo Marechal. ISBN: 8471461560. (M) TextoSíntesis de programación lógica : práctica de la construcción de un conjunto de datos : guía L.C.S.
. Warnier, Jean-Dominique (1920-1990). 1.ed.española tr. del francés. Barcelona: Editores Técnicos Asociados, 1977. U.I.: Bca. Leopoldo Marechal. ISBN: 847146098X. (M) TextoProgramación lógica. Tomo II : explotación de los datos
. Bull, Honeywell; Warnier, Jean-Dominique (1920-1990). 3.ed. española tr. del francés. Barcelona: Editores Técnicos Asociados, 1979. U.I.: Bca. Leopoldo Marechal. (M) TextoThe Java language specification
. Gosling, James (1955-...); Joy, Bill (1954-...); Steele, Guy. California: Addison-Wesley, c1996. U.I.: Bca. Leopoldo Marechal. ISBN: 0201634511. (M) TextoFunctional programmming and input/output
. Gordon, Andrew D. (1953-...). New York: Cambridge University Press, 1994. U.I.: Bca. Leopoldo Marechal. ISBN: 0521471036. (M) TextoThe clausal theory of types
. Wolfram, D. A.. (Cambridge tracks in theoretical computer science; 21). Cambridge: Cambridge University Press, c1993. U.I.: Bca. Leopoldo Marechal. ISBN: 0521395380. (M) TextoMobile object systems : towards the programmable Internet : Second International Workshop, MOS '96, Linz, Austria, July 8-9, 1996 : selected presentations and invited papers
. Vitek, Jan; Tschudin, Christian. (Lecture notes in computer science; 1222). Berlin: Springer-Verlag, c1997. U.I.: Bca. Leopoldo Marechal. ISBN: 3540628525. (M) TextoFuntional programming languages in education. First International Symposium, FPLE ´95 Nijmegen, the Netherlands 4-6 December 1995
. Hartel, Pieter H. (1953-...); Plasmeijer, Rinus (1952-...). Berlin: Springer-Verlag, 1995. U.I.: Bca. Leopoldo Marechal. ISBN: 3540606750. (M) TextoThe Symphony book
. Baras, Edward M.. Berkeley, California: Osborne/McGraw-Hill, c1995. U.I.: Bca. Leopoldo Marechal. ISBN: 0078811600. (M) Texto
Teoría de la computación : lenguajes formales, autómatas y complejidad
. Brookshear, J. Glenn (1944-...). Wilmington, Del.: Addison-Wesley Iberoamericana, 1993. U.I.: Bca. Leopoldo Marechal. ISBN: 0201601192. (M) TextoPC al límite : confidencial
. Bertelsons, Boris; Rasch, Mathias. Barcelona: Marcombo, 1995. U.I.: Bca. Leopoldo Marechal. ISBN: 8426710190. (M) TextoUnderstanding programming languages
. Ben-Ari, M.. Chichester: Wiley, c1996. U.I.: Bca. Leopoldo Marechal. ISBN: 0471958468. (M) TextoTechniques of program structure and design
. Yourdon, Edward (1944-2016). Englewood Cliffs, N. J.: Prentice-Hall, c1975. U.I.: Bca. Leopoldo Marechal. ISBN: 013901702X. (M) Texto