% -*- coding: iso-8859-1-unix; -*-
% biblio.tex
%
% Programación Lógica y Funcional
% Álvaro Tasistro - Jorge Vidart
% III E.B.A.I. (1988)
%
% maquetación LaTeX por César Ballardini <cesar@ballardini.com.ar>
%
% Copyright (C) 1988 Álvaro Tasistro - Jorge Vidart.
%
% Permission is granted to copy, distribute and/or modify this document
% under the terms of the GNU Free Documentation License, Version 1.2 or
% any later version published by the Free Software Foundation; with no
% Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. A
% copy of the license is included in the section entitled ``GNU Free
% Documentation License''
%
% $Id$
%
%\chapter*{Bibliografía}
\label{cha:bibliografia}

\begin{thebibliography}{Dillo99}
  
\bibitem[Abe85]{Abe85} Abelson H., Sussman G. with Sussman
  J.\\
  \emph{Structure and Interpretation of Computer Programs}\\
  MIT Press - McGraw Hill, 1985.

\bibitem[Bac78]{Bac78} Backus J.\\
  \emph{Can Programming Be Liberated  From Von Neumann Style?}\\
  Communications ACM 21(8), 613--641, 1978.

\bibitem[Bar84]{Bar84} Barendregt H.\\
  \emph{The Lambda Calculus: its syntax and semantics}\\
  North Holland, 1984

\bibitem[Bat73]{Bat73} Battani, G. Meloni, H.\\
  \emph{Interpreteur du language de programmation PROLOG}\\
  Research Report, Univ. of Aix-Marseille, 1973

\bibitem[Caf82]{Caf82} Caferra R.\\
  \emph{Tesis doctoral}\\
  Univ. Scientifique et Medicale de Grenoble, 1982

\bibitem[Clo81]{Clo81} Clocksin W., Mellish C.\\
  \emph{Programming in PROLOG}\\
  Springer-Verlag, 1981

\bibitem[Col73]{Col73} Colmerauer, A. Kanoui H., Roussel Ph., Pasero,
  R.\\
  \emph{Un Systeme de Communication Homme-Machine en Francais}\\
  Research Report, Univ. of Aix-Marseille, 1973

\bibitem[Cur58]{Cur58} Curry H., Feys R.\\
  \emph{Combinatory Logic, Vol. I}\\
  North Holland, 1958

\bibitem[Dij72]{Dij72} Dijkstra E.\\
  \emph{Notes on Structured Programming}\\
  en \emph{Structured Programming}, Dahl O., Dijkstra E., Hoare C.\\
  Academic Press, 1976

\bibitem[Gla84]{Gla84} Glaser H., Hankin C., Till D.\\
  \emph{Principles of Functional Programming}\\
  Prentice Hall, 1984

\bibitem[Hen80]{Hen80} Henderson, P.\\
  \emph{Functional Programming: Application and Implementation}\\
  Prentice Hall, 1980

\bibitem[Hin86]{Hin86} Hindley R., Seldin J.\\
  \emph{An Introduction to Combinators and th Lambda Calculus}\\
  Cambridge University Press, 1986

\bibitem[Hog84]{Hog84} Hogger C.\\
  \emph{Introduction to Logic Programming}\\
  Academic Press, 1984
  
\bibitem[Hug84]{Hug84} Hughes J.\\
  \emph{Why Functional Programming Matters}\\
  University of Goteborg, Programming Methodology Group, 1984

\bibitem[Knu68]{Knu68} Knuth D.\\
  \emph{The Art of Computer Programming}, Vol. 1--3\\
  Addison Wesley, 1968

\bibitem[Kow79]{Kow79} Kowalski R.\\
  \emph{Algorithm = Logic + Control}\\
  Communications ACM 22, 424--431, 1979

\bibitem[Llo84]{Llo84} Lloyd J.\\
  \emph{Foundations of Logic Programming}\\
  Springer-Verlag, 1984

\bibitem[Loe84]{Loe84} Loeckx J., Sieber K.\\
  \emph{Foundations of Program Verification}\\
  John Wiley \& Sons, 1984

\bibitem[Men64]{Men64} Mendelson E.\\
  \emph{Introduction to Mathematical Logic}\\
  Van Nostrand, 1964

\bibitem[Rou75]{Rou75} Rousell Ph.\\
  \emph{PROLOG: manuel de reference et d'utilisation}\\
  Research Report, Univ. of Aix-Marseille, 1975

\bibitem[Wan80]{Wan80} Wand M.\\
  \emph{Induction, Recursion and Programming}\\
  North Holland, 1980

\bibitem[War79]{War79} Warren D.\\
  \emph{PROLOG on the DEC System-10}\\
  en \emph{Expert Systems in the Microelectronic Age (Michie D. (ed.))}\\
  Edinburgh University Press, 1979

\bibitem[Wir71]{Wir71} Wirth N.\\
  \emph{Program Development by Stepwise Refinement}\\
  Communications ACM 14, 4, 221--227, 1971

\end{thebibliography}

% EOF biblio.tex

%%% Local Variables: 
%%% mode: latex
%%% TeX-master: "plyf"
%%% End: