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