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