Une formalisation de la sémantique des langages de programmation J.-P. Finance R.A.I.R.O. Informatique théorique, 10 R2 (1976) 5-32 Published online: 01 February 2017 DOI: 10.1051/ita/197610R200051