Orejas, F. «Una especificación Formal De Tipos Estructurados De Datos (Parte Primera)». Boletín del Centro de Cálculo de la Universidad Complutense, no. 33 (septiembre 4, 2015): 12–31. Accedido noviembre 23, 2024. https://revistas.ucm.es/index.php/BCCU/article/view/49890.