Sémantique algébrique de l'appel par valeur André Arnold (1978) RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Sémantique algébrique d'un langage de programmation type Algol Laurent Kott (1977) RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Sémantique des structures de contrôle Bernard Robinet, François Nozick (1977) RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Sémantique formelle des opérateurs d'un langage de listes R. Castanet (1974) RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Software for 3 D visualisation of small objects. Arpad, Ineze, Manuella, Kadar (2003) Acta Universitatis Apulensis. Mathematics - Informatics
Some Notes on the Formal Definition of Streams Dušan Malbaški, Dragan Ivetić (1996) The Yugoslav Journal of Operations Research