Orejas F. Una especificación formal de tipos estructurados de datos (Parte Segunda). Bol. Cent. Calc. Univ. Complut. [Internet]. 3 de septiembre de 2015 [citado 7 de diciembre de 2025];(34):1-14.