Liste des citations dans Numdam pour : Une formalisation de la sémantique des langages de programmation

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