OREJAS, F. Una especificación formal de tipos estructurados de datos (Parte Primera). Boletín del Centro de Cálculo de la Universidad Complutense, n. 33, p. 12–31, 4 sep.2015.