Algebraic definition of a functional programming language and its semantic models Manfred Broy; Martin Wirsing — 1983 RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications