%0 Journal Article
%A Finance, J.-P.
%T Une formalisation de la sémantique des langages de programmation
%J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
%D 1976
%P 5-21
%V 10
%N R3
%I Dunod-Gauthier-Villars
%C Paris
%U http://geodesic.mathdoc.fr/item/ITA_1976__10_3_5_0/
%G fr
%F ITA_1976__10_3_5_0