Vertaling Van Global Specifications In Verschillende Talen