Sémantique algébrique d'un langage de programmation type Algol Laurent Kott — 1977 RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications