Específicamente, es un programa secuencial consistente si «...