Program Development by Stepwise Refinement
1971·ensayo
Un artículo clásico que introduce la técnica de refinamiento paso a paso para el desarrollo de programas, un enfoque descendente para diseñar algoritmos y estructuras de datos complejos a partir de componentes más simples.



















