Static Validation of XSL Transformations (2007)

by A Møller, M Ø Olesen, M I Schwartzbach
Venue:ACM Transactions on Programming Languages and Systems. Volume