Geert Jan Bex Sebastian Maneth Frank Neven A formal model for an expressive fragment of XSLT. 21-39 2002 27 Inf. Syst. 1 db/journals/is/is27.html#BexMN02 http://dx.doi.org/10.1016/S0306-4379(01)00033-3