Orejas, F. (2015): «Una especificación formal de tipos estructurados de datos (Parte Segunda)», Boletín del Centro de Cálculo de la Universidad Complutense, (34), pp. 1–14. Disponible en: https://revistas.ucm.es/index.php/BCCU/article/view/49877 (Accedido: 26 noviembre 2024).