La especificación del subprograma va precedida por la parte formal