Orejas, F. (2015): «Una especificación formal de tipos estructurados de datos (Parte Primera)», Boletín del Centro de Cálculo de la Universidad Complutense, (33), pp. 12–31. Disponible en: https://revistas.ucm.es/index.php/BCCU/article/view/49890 (Accedido: 23 noviembre 2024).