List of citations in Numdam for : Une formalisation de la sémantique des langages de programmation

Revue française d'automatique informatique recherche opérationnelle. Informatique théorique, Volume 10 (1976) no. R3, pp. 5-21.