Una especificación formal de tipos estructurados de datos (Parte Segunda) - Orejas, F. (Boletín del Centro de Cálculo de la Universidad Complutense, 2015)