Translation Of Binding Procedures In Different Languages