אנגלית ⇄ איטלקית גרמנית דנית הולנדית יוונית ספרדית פורטוגלית פינית צרפתית שוודית

Formal description of arbitrary systems by means of functional languages
.טכנול	Description formelle de systèmes arbitraires au moyen de langages fonctionnels