Translating XML Documents Through Dyck-Typed Regular Translation Elementary Formal Systems | IEEE Conference Publication | IEEE Xplore