%0 Journal Article %A Broy, Manfred %A Wirsing, Martin %T Algebraic definition of a functional programming language and its semantic models %J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications %D 1983 %P 137-161 %V 17 %N 2 %I EDP-Sciences %U http://geodesic.mathdoc.fr/item/ITA_1983__17_2_137_0/ %G en %F ITA_1983__17_2_137_0