Introducción a la programación sistemática - Wirth, Niklaus (Ateneo, 1984)