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

Program development by specification and transformation
.טכנול	Développement de programmes par spécification et transformation