Sémantique formelle des opérateurs d'un langage de listes R. Castanet — 1974 RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications