Statistics for HERRAMIENTA DE APOYO AL DESARROLLO DE PROGRAMAS EN PASCAL, UTILIZANDO EL CONCEPTO TOP-DOWN DE REFINAMIENTO SUCESIVO