Su especificación se puede describir de la