Orejas, F. Una especificación formal de tipos estructurados de datos (Parte Segunda). Bol. Cent. Calc. Univ. Complut. 2015, N.º 34, 1-14.