Une formalisation de la sémantique des langages de programmationJ.-P. FinanceR.A.I.R.O. Informatique théorique, 10 R2 (1976) 5-32DOI: https://doi.org/10.1051/ita/197610R200051
