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