Sémantique algébrique d'un langage de programmation type Algol Laurent Kott RAIRO. Inform. théor., 11 3 (1977) 237-263 Published online: 01 February 2017 DOI: 10.1051/ita/1977110302371