Introducción a la programación sistemática - Wirth, Niklaus (Sistemas de Procesamiento Electrónico, 1986)