Blanco, J., Smith, S. y Barsotti D., Cálculo de Programas, Facultad de Matemática, Astronomía y Física. Universidad Nacional de Córdoba

David Gries - Fred B. Schneider, A logical approach to discrete math. (Ed. Springer) 1993.

E. Cohen: Programming in the 1990.s. An Introduction to the Calculation of Programs.  Texts and Monographs in Computer Science. Ed. Springer-Verlag. 1990.

David Gries:  The Science of Programming. David Gries (Ed. Springer-Verlag). 1981

E. W. Dijkstra and C. S. Sholten: Predicate Calculus and Program Semantics. Texts and Monographs in Computer Science. (Ed. Springer-Verlag).1990.

 

Bird, R: Introducción a la programación Funcional con Haskell. Prentice Hall 2000.