Title: The Eurotra Formal Specifications (Studies in Machine Language Translation & Natural Language Processing)