Programación estructurada: diseño, validación y transformación de programas. Basado en la metodología Warnier - Cuevas Agustín, Gonzalo (Serie Informática, 1987)