%0 Journal Article %A Kott, Laurent %T Sémantique algébrique d'un langage de programmation type Algol %J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications %D 1977 %P 237-263 %V 11 %N 3 %I Centrale des revues, Dunod-Gauthier-Villars %C Montreuil %U http://geodesic.mathdoc.fr/item/ITA_1977__11_3_237_0/ %G fr %F ITA_1977__11_3_237_0