• benedikt.AddingUpdatesToXQueryBenedikt.ximep.05.pdf
• benedikt.verificationtreeupdates.cav05.pdf
• index.html
• W3C
• XQueryBangTR.pdf