%0 Journal Article %A Castanet, R. %T Sémantique formelle des opérateurs d'un langage de listes %J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications %D 1974 %P 19-36 %V 8 %N R3 %I Dunod-Gauthier-Villars %C Paris %U http://geodesic.mathdoc.fr/item/ITA_1974__8_3_19_0/ %G fr %F ITA_1974__8_3_19_0