Orejas F. Una especificación formal de tipos estructurados de datos (Parte Primera). Bol. Cent. Calc. Univ. Complut. [Internet]. 4 de septiembre de 2015 [citado 27 de noviembre de 2024];(33):12-31.