Orejas, F. «Una especificación Formal De Tipos Estructurados De Datos (Parte Segunda)». Boletín del Centro de Cálculo de la Universidad Complutense, no. 34 (septiembre 3, 2015): 1–14. Accedido noviembre 30, 2024. https://revistas.ucm.es/index.php/BCCU/article/view/49877.