OREJAS, F. Una especificación formal de tipos estructurados de datos (Parte Segunda). Boletín del Centro de Cálculo de la Universidad Complutense, n. 34, p. 1–14, 3 sep.2015.