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

Program development by specification and transformation
.טכנול	Programmentwicklung durch Spezifikation und Transformation
programme development by specification and transformation PROSPECTRA
.טֶכנו, .מחקר	Programmentwicklung durch Spezifikation und Transformation